Index of ftp://kebo.vlsm.org/ubuntu/pool/universe/a/aac-tactics

[DIR] Parent Directory

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

[ GZ] aac-tactics_0.2.pl2-4build1.debian.tar.gz  2.66Kb  January 8 2012
[ ] aac-tactics_0.2.pl2-4build1.dsc  2.19Kb  January 8 2012
[ GZ] aac-tactics_0.2.pl2.orig.tar.gz  75.59Kb  May 4 2011
[ ] aac-tactics_0.4-2.debian.tar.xz  2.82Kb  January 20 2014
[ ] aac-tactics_0.4-2.dsc  2.14Kb  January 20 2014
[ ] aac-tactics_0.4-5build2.debian.tar.xz  3.00Kb  November 5 2015
[ ] aac-tactics_0.4-5build2.dsc  1.87Kb  November 5 2015
[ GZ] aac-tactics_0.4.orig.tar.gz  75.52Kb  December 6 2013
[ ] aac-tactics_8.11.0-1.debian.tar.xz  3.44Kb  March 18 2020 at 18:28
[ ] aac-tactics_8.11.0-1.dsc  2.13Kb  March 18 2020 at 18:28
[ GZ] aac-tactics_8.11.0.orig.tar.gz  63.83Kb  March 18 2020 at 18:28
[ ] aac-tactics_8.6.1-1build4.debian.tar.xz  3.37Kb  August 31 2017
[ ] aac-tactics_8.6.1-1build4.dsc  1.93Kb  August 31 2017
[ ] aac-tactics_8.6.1-2.debian.tar.xz  3.17Kb  November 1 2017
[ ] aac-tactics_8.6.1-2.dsc  2.19Kb  November 1 2017
[ GZ] aac-tactics_8.6.1.orig.tar.gz  73.31Kb  December 30 2016
[ ] aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz  3.55Kb  August 21 2019
[ ] aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc  2.25Kb  August 21 2019
[ GZ] aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz  64.40Kb  February 18 2019
[ ] libaac-tactics-coq_0.2.pl2-4build1_all.deb  308.54Kb  January 8 2012
[ ] libaac-tactics-coq_0.4-2_all.deb  207.55Kb  January 20 2014
[ ] libaac-tactics-coq_0.4-5build2_all.deb  207.73Kb  November 5 2015
[ ] libaac-tactics-coq_8.11.0-1_all.deb  237.75Kb  March 18 2020 at 19:48
[ ] libaac-tactics-coq_8.6.1-1build4_all.deb  215.51Kb  August 31 2017
[ ] libaac-tactics-coq_8.6.1-2_all.deb  215.62Kb  November 1 2017
[ ] libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build4_all.deb  214.36Kb  August 21 2019
[ ] libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb  139.01Kb  January 8 2012
[ ] libaac-tactics-ocaml_0.2.pl2-4build1_armel.deb  32.27Kb  January 8 2012
[ ] libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb  121.54Kb  January 8 2012
[ ] libaac-tactics-ocaml_0.2.pl2-4build1_powerpc.deb  142.27Kb  January 9 2012

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