Index of /debian-ports/pool-powerpc/main/a/aac-tactics/
Name
Size
Date
📁 ../
-
-
📄 aac-tactics_9.0.0-4_powerpc.buildinfo
6629 bytes
2026-07-28 12:03:01
📄 libcoq-aac-tactics_9.0.0-4_powerpc.deb
303344 bytes
2026-07-28 12:03:01