Index of /debian-ports/pool-ppc64/main/a/aac-tactics/
Name
Size
Date
📁 ../
-
-
📄 aac-tactics_8.19.1-2_ppc64.buildinfo
6873 bytes
2024-08-03 21:03:01
📄 libcoq-aac-tactics-dbgsym_8.19.1-2_ppc64.deb
14008 bytes
2024-08-03 21:03:01
📄 libcoq-aac-tactics_8.19.1-2_ppc64.deb
402600 bytes
2024-08-03 21:03:01