Index of /nova/pool/extendido/a/aac-tactics/


../
aac-tactics_8.11.0-1.debian.tar.xz                 22-Jun-2020 12:01                3520
aac-tactics_8.11.0-1.dsc                           22-Jun-2020 12:01                2178
aac-tactics_8.11.0.orig.tar.gz                     22-Jun-2020 12:01               65363
aac-tactics_8.15.0-1.debian.tar.xz                 01-May-2022 16:41                3600
aac-tactics_8.15.0-1.dsc                           01-May-2022 16:41                2209
aac-tactics_8.15.0.orig.tar.gz                     01-May-2022 16:41               68103
aac-tactics_8.6.1-2.debian.tar.xz                  11-Jun-2020 04:04                3248
aac-tactics_8.6.1-2.dsc                            11-Jun-2020 04:04                2238
aac-tactics_8.6.1.orig.tar.gz                      11-Jun-2020 04:04               75073
libaac-tactics-coq_8.11.0-1_all.deb                22-Jun-2020 11:05              243456
libaac-tactics-coq_8.15.0-1_all.deb                30-Apr-2022 08:51              289098
libaac-tactics-coq_8.6.1-2_all.deb                 11-Jun-2020 05:56              220796
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb        22-Jun-2020 03:12               38624
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb        30-Apr-2022 06:58               40776
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb         11-Jun-2020 05:19               37684
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb          11-Jun-2020 05:02               37688
libaac-tactics-ocaml_8.11.0-1_amd64.deb            21-Jun-2020 16:45              106896
libaac-tactics-ocaml_8.15.0-1_amd64.deb            30-Apr-2022 02:41              130790
libaac-tactics-ocaml_8.6.1-2_amd64.deb             11-Jun-2020 02:35              120296
libaac-tactics-ocaml_8.6.1-2_i386.deb              11-Jun-2020 02:23              110796