| Parent directory/ | - | - | 
| acl2-books-certs_8.0dfsg-1_all.deb |            73306868 | 2022-Apr-11 03:40 | 
| acl2-books-source_8.0dfsg-1_all.deb |            12473396 | 2022-Apr-11 03:43 | 
| acl2-books_8.0dfsg-1_amd64.deb |           137946376 | 2022-Apr-11 03:13 | 
| acl2-books_8.0dfsg-1_i386.deb |           115998080 | 2022-Apr-11 02:57 | 
| acl2-doc_8.0dfsg-1_all.deb |              401524 | 2022-Apr-11 03:20 | 
| acl2-emacs_8.0dfsg-1_all.deb |               67608 | 2022-Apr-11 03:17 | 
| acl2-infix-source_8.0dfsg-1_all.deb |               79188 | 2022-Apr-11 03:10 | 
| acl2-infix_8.0dfsg-1_amd64.deb |              432032 | 2022-Apr-11 03:44 | 
| acl2-infix_8.0dfsg-1_i386.deb |              399340 | 2022-Apr-11 03:06 | 
| acl2-source_8.0dfsg-1_all.deb |             3081324 | 2022-Apr-11 02:56 | 
| acl2_8.0dfsg-1.debian.tar.xz |              204760 | 2022-Apr-11 03:44 | 
| acl2_8.0dfsg-1.dsc |                2245 | 2022-Apr-11 03:44 | 
| acl2_8.0dfsg-1_amd64.deb |            19855896 | 2022-Apr-11 03:30 | 
| acl2_8.0dfsg-1_i386.deb |            16994808 | 2022-Apr-11 03:02 | 
| acl2_8.0dfsg.orig.tar.gz |            77635571 | 2022-Apr-11 03:44 |