Index of ftp://debian.kuzbass.net/debian/pool/main/a/aac-tactics

[DIR] Parent Directory

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 01 of 02
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->

[ ] aac-tactics_8.17.0-1.debian.tar.xz  3.47Kb  January 4 2023 at 19:04
[ ] aac-tactics_8.17.0-1.dsc  2.06Kb  January 4 2023 at 19:04
[ GZ] aac-tactics_8.17.0.orig.tar.gz  73.90Kb  January 4 2023 at 19:04
[ ] aac-tactics_8.6.1-1.debian.tar.xz  3.14Kb  December 30 2016
[ ] aac-tactics_8.6.1-1.dsc  2.17Kb  December 30 2016
[ GZ] aac-tactics_8.6.1.orig.tar.gz  73.31Kb  December 30 2016
[ ] libaac-tactics-coq_8.6.1-1_all.deb  217.13Kb  December 30 2016
[ ] libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb  38.06Kb  December 30 2016
[ ] libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb  38.06Kb  December 30 2016
[ ] libaac-tactics-ocaml-dev_8.6.1-1_armel.deb  38.06Kb  December 30 2016
[ ] libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb  38.06Kb  December 30 2016
[ ] libaac-tactics-ocaml-dev_8.6.1-1_i386.deb  38.06Kb  December 30 2016
[ ] libaac-tactics-ocaml-dev_8.6.1-1_mips.deb  38.04Kb  December 30 2016
[ ] libaac-tactics-ocaml-dev_8.6.1-1_mips64el.deb  38.04Kb  January 4 2017
[ ] libaac-tactics-ocaml-dev_8.6.1-1_mipsel.deb  38.04Kb  December 30 2016
[ ] libaac-tactics-ocaml-dev_8.6.1-1_ppc64el.deb  38.04Kb  December 30 2016
[ ] libaac-tactics-ocaml-dev_8.6.1-1_s390x.deb  38.04Kb  December 30 2016
[ ] libaac-tactics-ocaml_8.6.1-1_amd64.deb  107.66Kb  December 30 2016
[ ] libaac-tactics-ocaml_8.6.1-1_arm64.deb  105.39Kb  December 30 2016
[ ] libaac-tactics-ocaml_8.6.1-1_armel.deb  112.32Kb  December 30 2016
[ ] libaac-tactics-ocaml_8.6.1-1_armhf.deb  114.78Kb  December 30 2016
[ ] libaac-tactics-ocaml_8.6.1-1_i386.deb  101.29Kb  December 30 2016
[ ] libaac-tactics-ocaml_8.6.1-1_mips.deb  26.53Kb  December 30 2016
[ ] libaac-tactics-ocaml_8.6.1-1_mips64el.deb  26.53Kb  January 4 2017
[ ] libaac-tactics-ocaml_8.6.1-1_mipsel.deb  26.53Kb  December 30 2016
[ ] libaac-tactics-ocaml_8.6.1-1_ppc64el.deb  26.53Kb  December 30 2016
[ ] libaac-tactics-ocaml_8.6.1-1_s390x.deb  26.53Kb  December 30 2016
[ ] libcoq-aac-tactics_8.17.0-1+b2_amd64.deb  380.76Kb  February 13 2023 at 05:11
[ ] libcoq-aac-tactics_8.17.0-1+b2_arm64.deb  388.54Kb  February 13 2023 at 05:11
[ ] libcoq-aac-tactics_8.17.0-1+b2_armhf.deb  379.48Kb  February 13 2023 at 05:11

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 01 of 02
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->