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

../
acl2-books_6.3-6_hppa.deb                                                                                                18-Jan-2014 11:54     18M
acl2-books_8.6+dfsg-3_hppa.deb                                                                                           21-May-2025 00:03    462M
acl2-infix_6.3-6_hppa.deb                                                                                                18-Jan-2014 11:51    149K
acl2-infix_8.6+dfsg-3_hppa.deb                                                                                           21-May-2025 00:03    991K
acl2_6.3-6_hppa.deb                                                                                                      18-Jan-2014 11:56     13M
acl2_8.6+dfsg-3_hppa.buildinfo                                                                                           21-May-2025 00:03    8102
acl2_8.6+dfsg-3_hppa.deb                                                                                                 21-May-2025 00:03     34M