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


../
acl2-books_6.3-6_alpha.deb                         20-Nov-2013 16:09     21M
acl2-books_8.4dfsg-2_alpha.deb                     07-Nov-2021 15:03    283M
acl2-infix_6.3-6_alpha.deb                         20-Nov-2013 16:06    132K
acl2-infix_8.4dfsg-2_alpha.deb                     07-Nov-2021 15:03    502K
acl2_6.3-6_alpha.deb                               20-Nov-2013 16:07     13M
acl2_8.4dfsg-2_alpha.buildinfo                     07-Nov-2021 15:03    8378
acl2_8.4dfsg-2_alpha.deb                           07-Nov-2021 15:03     20M