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

Icon  Name                                          Last modified      Size  
[PARENTDIR] Parent Directory                                                   -   
[   ] acl2-books_6.3-6_alpha.deb                    2013-11-20 08:09   21M  
[   ] acl2-books_8.4dfsg-2_alpha.deb                2021-11-07 07:03  283M  
[   ] acl2-infix_6.3-6_alpha.deb                    2013-11-20 08:06  132K  
[   ] acl2-infix_8.4dfsg-2_alpha.deb                2021-11-07 07:03  502K  
[   ] acl2_6.3-6_alpha.deb                          2013-11-20 08:07   13M  
[   ] acl2_8.4dfsg-2_alpha.buildinfo                2021-11-07 07:03  8.2K  
[   ] acl2_8.4dfsg-2_alpha.deb                      2021-11-07 07:03   20M