Index of /pool/main/a/aac-tactics/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-aac-tactics_9.0.0-4_armhf.deb 3034242026-Aug-10 16:08
aac-tactics_9.0.0-4.dsc 21062026-Jul-28 09:24
aac-tactics_9.0.0-4.debian.tar.xz 40042026-Jul-28 09:24
aac-tactics_9.0.0.orig.tar.gz 701842025-Oct-29 07:13
aac-tactics_8.20.0.orig.tar.gz 776682024-Nov-20 09:52
aac-tactics_8.20.0-1.debian.tar.xz 38082024-Nov-20 09:52
aac-tactics_8.20.0-1.dsc 21042024-Nov-20 09:52
libcoq-aac-tactics_8.17.0-1+b2_armhf.deb 3859882023-May-21 01:16
aac-tactics_8.17.0-1.dsc 21082023-Jan-04 19:04
aac-tactics_8.17.0.orig.tar.gz 756772023-Jan-04 19:04
aac-tactics_8.17.0-1.debian.tar.xz 35522023-Jan-04 19:04