Index of /debian-ports/pool/main/a/acl2

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 acl2-books-certs_8.1dfsg-3_all.deb  04-Apr-2019 15:29   77M  
 acl2-books-certs_8.1dfsg-4_all.deb  01-Nov-2019 02:59   77M  
 acl2-books-certs_8.1dfsg-5_all.deb  09-Dec-2019 00:18   77M  
 acl2-books-certs_8.1dfsg-6_all.deb  09-Dec-2019 23:57   77M  
 acl2-books-certs_8.2dfsg-1_all.deb  20-Dec-2019 02:58   66M  
 acl2-books-certs_8.2dfsg-2_all.deb  27-Dec-2019 07:14   66M  
 acl2-books-certs_8.2dfsg-3_all.deb  31-Dec-2019 13:29   66M  
 acl2-books-source_8.1dfsg-3_all.deb 04-Apr-2019 15:29   13M  
 acl2-books-source_8.1dfsg-4_all.deb 01-Nov-2019 02:59   13M  
 acl2-books-source_8.1dfsg-5_all.deb 09-Dec-2019 00:18   13M  
 acl2-books-source_8.1dfsg-6_all.deb 09-Dec-2019 23:57   13M  
 acl2-books-source_8.2dfsg-1_all.deb 20-Dec-2019 02:58   14M  
 acl2-books-source_8.2dfsg-2_all.deb 27-Dec-2019 07:14   14M  
 acl2-books-source_8.2dfsg-3_all.deb 31-Dec-2019 13:29   14M  
 acl2-doc_8.1dfsg-3_all.deb          04-Apr-2019 15:29  404K  
 acl2-doc_8.1dfsg-4_all.deb          01-Nov-2019 02:59  404K  
 acl2-doc_8.1dfsg-5_all.deb          09-Dec-2019 00:18  404K  
 acl2-doc_8.1dfsg-6_all.deb          09-Dec-2019 23:57  404K  
 acl2-doc_8.2dfsg-1_all.deb          20-Dec-2019 02:58  423K  
 acl2-doc_8.2dfsg-2_all.deb          27-Dec-2019 07:14  423K  
 acl2-doc_8.2dfsg-3_all.deb          31-Dec-2019 13:29  423K  
 acl2-emacs_8.1dfsg-3_all.deb        04-Apr-2019 15:29   66K  
 acl2-emacs_8.1dfsg-4_all.deb        01-Nov-2019 02:59   66K  
 acl2-emacs_8.1dfsg-5_all.deb        09-Dec-2019 00:18   66K  
 acl2-emacs_8.1dfsg-6_all.deb        09-Dec-2019 23:57   66K  
 acl2-emacs_8.2dfsg-1_all.deb        20-Dec-2019 02:58   67K  
 acl2-emacs_8.2dfsg-2_all.deb        27-Dec-2019 07:14   67K  
 acl2-emacs_8.2dfsg-3_all.deb        31-Dec-2019 13:29   67K  
 acl2-infix-source_8.1dfsg-3_all.deb 04-Apr-2019 15:29   78K  
 acl2-infix-source_8.1dfsg-4_all.deb 01-Nov-2019 02:59   78K  
 acl2-infix-source_8.1dfsg-5_all.deb 09-Dec-2019 00:18   78K  
 acl2-infix-source_8.1dfsg-6_all.deb 09-Dec-2019 23:57   78K  
 acl2-infix-source_8.2dfsg-1_all.deb 20-Dec-2019 02:58   78K  
 acl2-infix-source_8.2dfsg-2_all.deb 27-Dec-2019 07:14   78K  
 acl2-infix-source_8.2dfsg-3_all.deb 31-Dec-2019 13:29   78K  
 acl2-source_8.1dfsg-3_all.deb       04-Apr-2019 15:29  3.0M  
 acl2-source_8.1dfsg-4_all.deb       01-Nov-2019 02:59  3.0M  
 acl2-source_8.1dfsg-5_all.deb       09-Dec-2019 00:18  3.0M  
 acl2-source_8.1dfsg-6_all.deb       09-Dec-2019 23:57  3.0M  
 acl2-source_8.2dfsg-1_all.deb       20-Dec-2019 02:58  3.1M  
 acl2-source_8.2dfsg-2_all.deb       27-Dec-2019 07:14  3.1M  
 acl2-source_8.2dfsg-3_all.deb       31-Dec-2019 13:29  3.1M