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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aac-tactics_8.6.1-1.debian.tar.xz2016-12-30 04:13 3.1K 
[TXT]aac-tactics_8.6.1-1.dsc2016-12-30 04:13 2.2K 
[ ]aac-tactics_8.6.1.orig.tar.gz2016-12-30 04:13 73K 
[ ]aac-tactics_8.15.1-4.debian.tar.xz2022-05-22 12:33 3.7K 
[TXT]aac-tactics_8.15.1-4.dsc2022-05-22 12:33 2.2K 
[ ]aac-tactics_8.15.1-6.debian.tar.xz2022-06-12 07:00 3.7K 
[TXT]aac-tactics_8.15.1-6.dsc2022-06-12 07:00 2.2K 
[ ]aac-tactics_8.15.1.orig.tar.gz2022-04-03 15:10 67K 
[ ]aac-tactics_8.16.0-1.debian.tar.xz2022-09-06 04:04 3.4K 
[TXT]aac-tactics_8.16.0-1.dsc2022-09-06 04:04 2.1K 
[ ]aac-tactics_8.16.0.orig.tar.gz2022-09-06 04:04 74K 
[ ]aac-tactics_8.17.0-1.debian.tar.xz2023-01-04 13:04 3.5K 
[TXT]aac-tactics_8.17.0-1.dsc2023-01-04 13:04 2.1K 
[ ]aac-tactics_8.17.0-2.debian.tar.xz2023-06-12 15:29 3.6K 
[TXT]aac-tactics_8.17.0-2.dsc2023-06-12 15:29 2.1K 
[ ]aac-tactics_8.17.0-3.debian.tar.xz2023-09-12 01:19 3.6K 
[TXT]aac-tactics_8.17.0-3.dsc2023-09-12 01:19 1.8K 
[ ]aac-tactics_8.17.0.orig.tar.gz2023-01-04 13:04 74K 
[ ]aac-tactics_8.18.0-1.debian.tar.xz2023-12-21 08:34 3.6K 
[TXT]aac-tactics_8.18.0-1.dsc2023-12-21 08:34 2.1K 
[ ]aac-tactics_8.18.0.orig.tar.gz2023-12-21 08:34 74K 
[ ]aac-tactics_8.19.1-1.debian.tar.xz2024-06-11 00:19 3.7K 
[TXT]aac-tactics_8.19.1-1.dsc2024-06-11 00:19 2.1K 
[ ]aac-tactics_8.19.1-2.debian.tar.xz2024-08-03 10:44 3.7K 
[TXT]aac-tactics_8.19.1-2.dsc2024-08-03 10:44 1.8K 
[ ]aac-tactics_8.19.1.orig.tar.gz2024-06-11 00:19 75K 
[ ]aac-tactics_8.20.0-1.debian.tar.xz2024-11-20 03:52 3.7K 
[TXT]aac-tactics_8.20.0-1.dsc2024-11-20 03:52 2.1K 
[ ]aac-tactics_8.20.0.orig.tar.gz2024-11-20 03:52 76K 
[ ]aac-tactics_9.0.0-4.debian.tar.xz2026-07-28 04:24 3.9K 
[TXT]aac-tactics_9.0.0-4.dsc2026-07-28 04:24 2.1K 
[ ]aac-tactics_9.0.0.orig.tar.gz2025-10-29 02:13 69K 
[ ]libaac-tactics-coq_8.6.1-1_all.deb2016-12-30 04:13 217K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb2017-01-16 22:08 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-4_armhf.deb2022-05-28 05:08 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-6_armhf.deb2022-07-10 01:51 39K 
[ ]libaac-tactics-ocaml_8.6.1-1_armhf.deb2017-01-16 22:08 111K 
[ ]libaac-tactics-ocaml_8.15.1-4_armhf.deb2022-05-28 05:08 108K 
[ ]libaac-tactics-ocaml_8.15.1-6_armhf.deb2022-07-10 01:51 108K 
[ ]libcoq-aac-tactics_8.15.1-4_armhf.deb2022-05-28 05:08 261K 
[ ]libcoq-aac-tactics_8.15.1-6_armhf.deb2022-07-10 01:51 261K 
[ ]libcoq-aac-tactics_8.16.0-1+b1_armhf.deb2022-12-02 10:08 377K 
[ ]libcoq-aac-tactics_8.16.0-1_armhf.deb2022-09-17 10:25 378K 
[ ]libcoq-aac-tactics_8.17.0-1+b1_armhf.deb2023-02-04 19:01 377K 
[ ]libcoq-aac-tactics_8.17.0-1+b2_armhf.deb2023-05-20 20:16 377K 
[ ]libcoq-aac-tactics_8.17.0-1_armhf.deb2023-01-10 10:08 377K 
[ ]libcoq-aac-tactics_8.17.0-3_armhf.deb2023-10-20 11:08 375K 
[ ]libcoq-aac-tactics_8.18.0-1+b1_armhf.deb2024-06-18 11:08 371K 
[ ]libcoq-aac-tactics_8.18.0-1_armhf.deb2024-02-21 10:08 371K 
[ ]libcoq-aac-tactics_8.19.1-1+b1_armhf.deb2024-06-24 17:08 385K 
[ ]libcoq-aac-tactics_8.19.1-2_armhf.deb2024-09-04 17:08 385K 
[ ]libcoq-aac-tactics_9.0.0-4_armhf.deb2026-08-10 11:08 296K 
Apache/2.4.53 (Debian) Server at mirror.quadstate.us Port 443