Index of /linux/ubuntu/pool/universe/a/acl2/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
acl2-books-certs_4.2-1_all.deb2011-Sep-02 05:03:571.9Mapplication/octet-stream
acl2-books-certs_6.3-5_all.deb2013-Oct-24 18:36:2311.1Mapplication/octet-stream
acl2-books-certs_7.0-1_all.deb2015-Jan-27 15:50:1765.9Mapplication/octet-stream
acl2-books-certs_7.1-1_all.deb2015-Jun-27 15:48:3412.5Mapplication/octet-stream
acl2-books-certs_7.2dfsg-2_all.deb2016-May-05 08:24:1852.3Mapplication/octet-stream
acl2-books-certs_7.2dfsg-3_all.deb2016-Nov-03 22:25:0051.9Mapplication/octet-stream
acl2-books-certs_8.0dfsg-1_all.deb2018-Jan-14 04:08:1770.0Mapplication/octet-stream
acl2-books-certs_8.2dfsg-3build1_all.deb2020-Mar-23 14:24:0765.8Mapplication/octet-stream
acl2-books-certs_8.3dfsg-2_all.deb2021-Jan-28 08:19:04138.5Mapplication/octet-stream
acl2-books-certs_8.4dfsg-2_all.deb2021-Dec-19 02:10:18221.0Mapplication/octet-stream
acl2-books-source_4.2-1_all.deb2011-Sep-02 05:03:564.9Mapplication/octet-stream
acl2-books-source_6.3-5_all.deb2013-Oct-24 18:36:249.1Mapplication/octet-stream
acl2-books-source_7.0-1_all.deb2015-Jan-27 15:50:228.4Mapplication/octet-stream
acl2-books-source_7.1-1_all.deb2015-Jun-27 15:48:399.8Mapplication/octet-stream
acl2-books-source_7.2dfsg-2_all.deb2016-May-05 08:24:0510.6Mapplication/octet-stream
acl2-books-source_7.2dfsg-3_all.deb2016-Nov-03 22:25:0110.3Mapplication/octet-stream
acl2-books-source_8.0dfsg-1_all.deb2018-Jan-14 04:08:1611.9Mapplication/octet-stream
acl2-books-source_8.2dfsg-3build1_all.deb2020-Mar-23 14:24:1013.6Mapplication/octet-stream
acl2-books-source_8.3dfsg-2_all.deb2021-Jan-28 08:19:0118.6Mapplication/octet-stream
acl2-books-source_8.4dfsg-2_all.deb2021-Dec-19 02:10:2521.1Mapplication/octet-stream
acl2-books_4.2-1_amd64.deb2011-Sep-02 06:04:0239.4Mapplication/octet-stream
acl2-books_4.2-1_i386.deb2011-Sep-02 05:04:0434.4Mapplication/octet-stream
acl2-books_6.3-5_amd64.deb2013-Oct-24 18:36:2540.1Mapplication/octet-stream
acl2-books_6.3-5_i386.deb2013-Oct-24 18:36:4435.8Mapplication/octet-stream
acl2-books_7.0-1_amd64.deb2015-Jan-27 15:50:2324.1Mapplication/octet-stream
acl2-books_7.0-1_i386.deb2015-Jan-27 18:06:0822.7Mapplication/octet-stream
acl2-books_7.1-1_amd64.deb2015-Jun-27 15:48:3518.7Mapplication/octet-stream
acl2-books_7.1-1_i386.deb2015-Jun-02 04:43:1617.7Mapplication/octet-stream
acl2-books_7.2dfsg-2_amd64.deb2016-May-05 08:24:13101.5Mapplication/octet-stream
acl2-books_7.2dfsg-2_i386.deb2016-May-05 09:09:2188.3Mapplication/octet-stream
acl2-books_7.2dfsg-3_amd64.deb2016-Nov-03 22:25:02103.0Mapplication/octet-stream
acl2-books_7.2dfsg-3_i386.deb2016-Nov-03 22:25:2188.5Mapplication/octet-stream
acl2-books_8.0dfsg-1_amd64.deb2018-Jan-14 04:08:15131.7Mapplication/octet-stream
acl2-books_8.0dfsg-1_i386.deb2018-Jan-14 05:49:27114.0Mapplication/octet-stream
acl2-books_8.2dfsg-3build1_amd64.deb2020-Mar-23 14:24:09163.3Mapplication/octet-stream
acl2-books_8.3dfsg-2_amd64.deb2021-Jan-28 08:19:01240.9Mapplication/octet-stream
acl2-books_8.4dfsg-2_amd64.deb2021-Dec-19 02:09:59337.5Mapplication/octet-stream
acl2-doc_4.2-1_all.deb2011-Sep-02 05:03:56263.7Kapplication/octet-stream
acl2-doc_6.3-5_all.deb2013-Oct-24 18:36:2512.1Mapplication/octet-stream
acl2-doc_7.0-1_all.deb2015-Jan-27 15:50:19330.5Kapplication/octet-stream
acl2-doc_7.1-1_all.deb2015-Jun-27 15:48:36353.3Kapplication/octet-stream
acl2-doc_7.2dfsg-2_all.deb2016-May-05 08:24:04366.3Kapplication/octet-stream
acl2-doc_7.2dfsg-3_all.deb2016-Nov-03 22:25:01365.8Kapplication/octet-stream
acl2-doc_8.0dfsg-1_all.deb2018-Jan-14 04:08:13385.1Kapplication/octet-stream
acl2-doc_8.2dfsg-3build1_all.deb2020-Mar-23 14:24:10418.0Kapplication/octet-stream
acl2-doc_8.3dfsg-2_all.deb2021-Jan-28 08:19:05429.4Kapplication/octet-stream
acl2-doc_8.4dfsg-2_all.deb2021-Dec-19 02:09:59441.0Kapplication/octet-stream
acl2-emacs_4.2-1_all.deb2011-Sep-02 05:03:5651.5Kapplication/octet-stream
acl2-emacs_6.3-5_all.deb2013-Oct-24 18:36:2454.9Kapplication/octet-stream
acl2-emacs_7.0-1_all.deb2015-Jan-27 15:50:1853.7Kapplication/octet-stream
acl2-emacs_7.1-1_all.deb2015-Jun-27 15:48:3855.2Kapplication/octet-stream
acl2-emacs_7.2dfsg-2_all.deb2016-May-05 08:24:1456.2Kapplication/octet-stream
acl2-emacs_7.2dfsg-3_all.deb2016-Nov-03 22:25:0856.1Kapplication/octet-stream
acl2-emacs_8.0dfsg-1_all.deb2018-Jan-14 04:08:1758.9Kapplication/octet-stream
acl2-emacs_8.2dfsg-3build1_all.deb2020-Mar-23 14:24:1059.1Kapplication/octet-stream
acl2-emacs_8.3dfsg-2_all.deb2021-Jan-28 08:19:0560.1Kapplication/octet-stream
acl2-infix-source_4.2-1_all.deb2011-Sep-02 05:03:5679.6Kapplication/octet-stream
acl2-infix-source_6.3-5_all.deb2013-Oct-24 18:36:2485.9Kapplication/octet-stream
acl2-infix-source_7.0-1_all.deb2015-Jan-27 15:50:1871.5Kapplication/octet-stream
acl2-infix-source_7.1-1_all.deb2015-Jun-27 15:48:4070.3Kapplication/octet-stream
acl2-infix-source_7.2dfsg-2_all.deb2016-May-05 08:24:1370.6Kapplication/octet-stream
acl2-infix-source_7.2dfsg-3_all.deb2016-Nov-03 22:25:0070.5Kapplication/octet-stream
acl2-infix-source_8.0dfsg-1_all.deb2018-Jan-14 04:08:1270.2Kapplication/octet-stream
acl2-infix-source_8.2dfsg-3build1_all.deb2020-Mar-23 14:24:0770.2Kapplication/octet-stream
acl2-infix-source_8.3dfsg-2_all.deb2021-Jan-28 08:19:0570.3Kapplication/octet-stream
acl2-infix-source_8.4dfsg-2_all.deb2021-Dec-19 02:10:2671.9Kapplication/octet-stream
acl2-infix_4.2-1_amd64.deb2011-Sep-02 06:04:01438.2Kapplication/octet-stream
acl2-infix_4.2-1_i386.deb2011-Sep-02 05:04:03400.1Kapplication/octet-stream
acl2-infix_6.3-5_amd64.deb2013-Oct-24 18:36:25200.3Kapplication/octet-stream
acl2-infix_6.3-5_i386.deb2013-Oct-24 18:36:43189.0Kapplication/octet-stream
acl2-infix_7.0-1_amd64.deb2015-Jan-27 15:50:21139.9Kapplication/octet-stream
acl2-infix_7.0-1_i386.deb2015-Jan-27 18:06:06142.1Kapplication/octet-stream
acl2-infix_7.1-1_amd64.deb2015-Jun-27 15:48:37140.1Kapplication/octet-stream
acl2-infix_7.1-1_i386.deb2015-Jun-02 04:43:17142.1Kapplication/octet-stream
acl2-infix_7.2dfsg-2_amd64.deb2016-May-05 08:24:05392.3Kapplication/octet-stream
acl2-infix_7.2dfsg-2_i386.deb2016-May-05 09:09:20369.1Kapplication/octet-stream
acl2-infix_7.2dfsg-3_amd64.deb2016-Nov-03 22:25:00399.8Kapplication/octet-stream
acl2-infix_7.2dfsg-3_i386.deb2016-Nov-03 22:25:19374.5Kapplication/octet-stream
acl2-infix_8.0dfsg-1_amd64.deb2018-Jan-14 04:08:13414.2Kapplication/octet-stream
acl2-infix_8.0dfsg-1_i386.deb2018-Jan-14 05:49:27381.1Kapplication/octet-stream
acl2-infix_8.2dfsg-3build1_amd64.deb2020-Mar-23 14:24:10469.8Kapplication/octet-stream
acl2-infix_8.3dfsg-2_amd64.deb2021-Jan-28 08:19:05471.5Kapplication/octet-stream
acl2-infix_8.4dfsg-2_amd64.deb2021-Dec-19 02:09:06550.8Kapplication/octet-stream
acl2-source_4.2-1_all.deb2011-Sep-02 05:03:562.9Mapplication/octet-stream
acl2-source_6.3-5_all.deb2013-Oct-24 18:36:223.6Mapplication/octet-stream
acl2-source_7.0-1_all.deb2015-Jan-27 15:50:172.7Mapplication/octet-stream
acl2-source_7.1-1_all.deb2015-Jun-27 15:48:412.7Mapplication/octet-stream
acl2-source_7.2dfsg-2_all.deb2016-May-05 08:24:132.7Mapplication/octet-stream
acl2-source_7.2dfsg-3_all.deb2016-Nov-03 22:25:022.7Mapplication/octet-stream
acl2-source_8.0dfsg-1_all.deb2018-Jan-14 04:08:132.9Mapplication/octet-stream
acl2-source_8.2dfsg-3build1_all.deb2020-Mar-23 14:24:103.1Mapplication/octet-stream
acl2-source_8.3dfsg-2_all.deb2021-Jan-28 08:19:053.1Mapplication/octet-stream
acl2-source_8.4dfsg-2_all.deb2021-Dec-19 02:10:003.3Mapplication/octet-stream
acl2_4.2-1.debian.tar.gz2011-May-15 15:04:5417.4Kapplication/x-gzip
acl2_4.2-1.dsc2011-May-15 15:04:541.1Kapplication/octet-stream
acl2_4.2-1_amd64.deb2011-Sep-02 06:04:0325.3Mapplication/octet-stream
acl2_4.2-1_i386.deb2011-Sep-02 05:04:0521.7Mapplication/octet-stream
acl2_4.2.orig.tar.gz2011-May-15 15:04:5411.1Mapplication/x-gzip
acl2_6.3-5.debian.tar.gz2013-Oct-21 15:09:58157.7Kapplication/x-gzip
acl2_6.3-5.dsc2013-Oct-21 15:09:591.7Kapplication/octet-stream
acl2_6.3-5_amd64.deb2013-Oct-24 18:36:2626.6Mapplication/octet-stream
acl2_6.3-5_i386.deb2013-Oct-24 18:36:4322.9Mapplication/octet-stream
acl2_6.3.orig-books.tar.gz2013-Oct-21 15:09:5912.9Mapplication/x-gzip
acl2_6.3.orig.tar.gz2013-Oct-21 15:09:596.7Mapplication/x-gzip
acl2_7.0-1.debian.tar.xz2015-Jan-27 12:39:14125.8Kapplication/octet-stream
acl2_7.0-1.dsc2015-Jan-27 12:39:212.1Kapplication/octet-stream
acl2_7.0-1_amd64.deb2015-Jan-27 15:50:2315.2Mapplication/octet-stream
acl2_7.0-1_i386.deb2015-Jan-27 18:06:0813.4Mapplication/octet-stream
acl2_7.0.orig.tar.gz2015-Jan-27 12:39:2155.6Mapplication/x-gzip
acl2_7.1-1.debian.tar.xz2015-Jun-02 01:24:15125.9Kapplication/octet-stream
acl2_7.1-1.dsc2015-Jun-02 01:24:182.1Kapplication/octet-stream
acl2_7.1-1_amd64.deb2015-Jun-27 15:48:4016.4Mapplication/octet-stream
acl2_7.1-1_i386.deb2015-Jun-02 04:43:1715.7Mapplication/octet-stream
acl2_7.1.orig.tar.gz2015-Jun-02 01:24:1860.4Mapplication/x-gzip
acl2_7.2dfsg-2.debian.tar.xz2016-May-05 01:29:30198.9Kapplication/octet-stream
acl2_7.2dfsg-2.dsc2016-May-05 01:29:312.1Kapplication/octet-stream
acl2_7.2dfsg-2_amd64.deb2016-May-05 08:24:1617.0Mapplication/octet-stream
acl2_7.2dfsg-2_i386.deb2016-May-05 09:09:2215.2Mapplication/octet-stream
acl2_7.2dfsg-3.debian.tar.xz2016-Nov-02 05:04:21199.3Kapplication/octet-stream
acl2_7.2dfsg-3.dsc2016-Nov-02 05:04:202.1Kapplication/octet-stream
acl2_7.2dfsg-3_amd64.deb2016-Nov-03 22:25:0716.8Mapplication/octet-stream
acl2_7.2dfsg-3_i386.deb2016-Nov-03 22:25:2014.7Mapplication/octet-stream
acl2_7.2dfsg.orig.tar.gz2016-Apr-27 00:12:4661.4Mapplication/x-gzip
acl2_8.0dfsg-1.debian.tar.xz2018-Jan-14 00:08:21199.9Kapplication/octet-stream
acl2_8.0dfsg-1.dsc2018-Jan-14 00:08:202.1Kapplication/octet-stream
acl2_8.0dfsg-1_amd64.deb2018-Jan-14 04:08:1518.8Mapplication/octet-stream
acl2_8.0dfsg-1_i386.deb2018-Jan-14 05:49:2716.2Mapplication/octet-stream
acl2_8.0dfsg.orig.tar.gz2018-Jan-14 00:08:2174.0Mapplication/x-gzip
acl2_8.2dfsg-3build1.debian.tar.xz2020-Mar-23 08:00:04201.2Kapplication/octet-stream
acl2_8.2dfsg-3build1.dsc2020-Mar-23 08:00:052.2Kapplication/octet-stream
acl2_8.2dfsg-3build1_amd64.deb2020-Mar-23 14:24:1120.9Mapplication/octet-stream
acl2_8.2dfsg.orig.tar.gz2019-Dec-20 00:13:2676.9Mapplication/x-gzip
acl2_8.3dfsg-2.debian.tar.xz2021-Jan-28 00:19:16222.9Kapplication/octet-stream
acl2_8.3dfsg-2.dsc2021-Jan-28 00:19:162.2Kapplication/octet-stream
acl2_8.3dfsg-2_amd64.deb2021-Jan-28 08:19:0420.5Mapplication/octet-stream
acl2_8.3dfsg.orig.tar.gz2020-Aug-24 13:13:49111.8Mapplication/x-gzip
acl2_8.4dfsg-2.debian.tar.xz2021-Nov-02 00:24:22304.3Kapplication/octet-stream
acl2_8.4dfsg-2.dsc2021-Nov-02 00:24:202.2Kapplication/octet-stream
acl2_8.4dfsg-2_amd64.deb2021-Dec-19 02:10:2024.9Mapplication/octet-stream
acl2_8.4dfsg.orig.tar.gz2021-Oct-29 01:18:50193.6Mapplication/x-gzip
elpa-acl2_8.4dfsg-2_all.deb2021-Dec-19 02:09:0769.1Kapplication/octet-stream
ISPpro Internet KG isppro.de | euserv.de | kos-online.de | keepfree.de