Index of /raspbian/pool/main/a/aac-tactics/
../
aac-tactics_0.4-3.debian.tar.xz 30-Jul-2014 09:11 2960
aac-tactics_0.4-3.dsc 30-Jul-2014 09:11 2231
aac-tactics_0.4.orig.tar.gz 06-Dec-2013 07:54 77336
aac-tactics_8.15.0-1.debian.tar.xz 06-Feb-2022 13:09 3600
aac-tactics_8.15.0-1.dsc 06-Feb-2022 13:09 2209
aac-tactics_8.15.0.orig.tar.gz 06-Feb-2022 13:09 68103
aac-tactics_8.15.1-3.debian.tar.xz 17-Apr-2022 12:08 3740
aac-tactics_8.15.1-3.dsc 17-Apr-2022 12:08 2205
aac-tactics_8.15.1-4.debian.tar.xz 22-May-2022 17:33 3768
aac-tactics_8.15.1-4.dsc 22-May-2022 17:33 2205
aac-tactics_8.15.1-6.debian.tar.xz 12-Jun-2022 12:00 3824
aac-tactics_8.15.1-6.dsc 12-Jun-2022 12:00 2262
aac-tactics_8.15.1.orig.tar.gz 03-Apr-2022 20:10 68294
aac-tactics_8.16.0-1.debian.tar.xz 06-Sep-2022 09:04 3520
aac-tactics_8.16.0-1.dsc 06-Sep-2022 09:04 2108
aac-tactics_8.16.0.orig.tar.gz 06-Sep-2022 09:04 75525
aac-tactics_8.17.0-1.debian.tar.xz 04-Jan-2023 19:04 3552
aac-tactics_8.17.0-1.dsc 04-Jan-2023 19:04 2108
aac-tactics_8.17.0-2.debian.tar.xz 12-Jun-2023 20:29 3660
aac-tactics_8.17.0-2.dsc 12-Jun-2023 20:29 2108
aac-tactics_8.17.0-3.debian.tar.xz 12-Sep-2023 06:19 3700
aac-tactics_8.17.0-3.dsc 12-Sep-2023 06:19 1876
aac-tactics_8.17.0.orig.tar.gz 04-Jan-2023 19:04 75677
aac-tactics_8.18.0-1.debian.tar.xz 21-Dec-2023 14:34 3716
aac-tactics_8.18.0-1.dsc 21-Dec-2023 14:34 2104
aac-tactics_8.18.0.orig.tar.gz 21-Dec-2023 14:34 75607
aac-tactics_8.6.1-1.debian.tar.xz 30-Dec-2016 10:13 3220
aac-tactics_8.6.1-1.dsc 30-Dec-2016 10:13 2217
aac-tactics_8.6.1.orig.tar.gz 30-Dec-2016 10:13 75073
libaac-tactics-coq_0.4-3_all.deb 30-Jul-2014 09:11 213832
libaac-tactics-coq_8.15.0-1_all.deb 06-Feb-2022 13:44 262092
libaac-tactics-coq_8.6.1-1_all.deb 30-Dec-2016 10:13 222342
libaac-tactics-ocaml-dev_0.4-3_armhf.deb 13-Aug-2014 17:11 44446
libaac-tactics-ocaml-dev_8.15.0-1_armhf.deb 11-Feb-2022 10:08 39288
libaac-tactics-ocaml-dev_8.15.1-3+b1_armhf.deb 23-Apr-2022 18:51 39708
libaac-tactics-ocaml-dev_8.15.1-3_armhf.deb 23-Apr-2022 10:08 39412
libaac-tactics-ocaml-dev_8.15.1-4_armhf.deb 28-May-2022 10:08 39464
libaac-tactics-ocaml-dev_8.15.1-6_armhf.deb 10-Jul-2022 06:51 39560
libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb 17-Jan-2017 04:08 38970
libaac-tactics-ocaml_0.4-3_armhf.deb 13-Aug-2014 17:11 122326
libaac-tactics-ocaml_8.15.0-1_armhf.deb 11-Feb-2022 10:08 110132
libaac-tactics-ocaml_8.15.1-3+b1_armhf.deb 23-Apr-2022 18:51 110220
libaac-tactics-ocaml_8.15.1-3_armhf.deb 23-Apr-2022 10:08 109936
libaac-tactics-ocaml_8.15.1-4_armhf.deb 28-May-2022 10:08 110144
libaac-tactics-ocaml_8.15.1-6_armhf.deb 10-Jul-2022 06:51 110524
libaac-tactics-ocaml_8.6.1-1_armhf.deb 17-Jan-2017 04:08 113966
libcoq-aac-tactics_8.15.1-3+b1_armhf.deb 23-Apr-2022 18:51 267160
libcoq-aac-tactics_8.15.1-3_armhf.deb 23-Apr-2022 10:08 266884
libcoq-aac-tactics_8.15.1-4_armhf.deb 28-May-2022 10:08 267020
libcoq-aac-tactics_8.15.1-6_armhf.deb 10-Jul-2022 06:51 267160
libcoq-aac-tactics_8.16.0-1+b1_armhf.deb 02-Dec-2022 16:08 386464
libcoq-aac-tactics_8.16.0-1_armhf.deb 17-Sep-2022 15:25 387072
libcoq-aac-tactics_8.17.0-1+b1_armhf.deb 05-Feb-2023 01:01 385960
libcoq-aac-tactics_8.17.0-1+b2_armhf.deb 21-May-2023 01:16 385988
libcoq-aac-tactics_8.17.0-1_armhf.deb 10-Jan-2023 16:08 385852
libcoq-aac-tactics_8.17.0-3_armhf.deb 20-Oct-2023 16:08 384392
libcoq-aac-tactics_8.18.0-1_armhf.deb 21-Feb-2024 16:08 379772