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


../
acl2-books_8.2dfsg-3_powerpc.deb                   01-Jan-2020 00:03           156692224
acl2-infix_8.2dfsg-3_powerpc.deb                   01-Jan-2020 00:03              463500
acl2_8.2dfsg-3_powerpc.buildinfo                   01-Jan-2020 00:03               11746
acl2_8.2dfsg-3_powerpc.deb                         01-Jan-2020 00:03            20893400