Index of Aac Tactics

NameLast modifiedSizeDescription
[PARENTDIR]
Parent Directory		  -  
[ ]
libcoq-aac-tactics_8.20.0-1build4_amd64.deb		10 days ago420K 
[ ]
libcoq-aac-tactics_8.20.0-1build3_amd64.deb		4 months ago421K 
[ ]
libcoq-aac-tactics_8.19.1-2build3_amd64.deb		10 months ago430K 
[ ]
libcoq-aac-tactics_8.18.0-1build3_amd64.deb		1 year ago412K 
[ ]
libaac-tactics-ocaml_8.15.0-1_amd64.deb		3 years ago128K 
[ ]
libaac-tactics-ocaml_8.11.0-1_amd64.deb		5 years ago104K 
[ ]
libaac-tactics-ocaml_8.6.1-2_i386.deb		8 years ago108K 
[ ]
libaac-tactics-ocaml_8.6.1-2_amd64.deb		8 years ago117K 
[ ]
libaac-tactics-ocaml_0.4-5build2_i386.deb		10 years ago109K 
[ ]
libaac-tactics-ocaml_0.4-5build2_amd64.deb		10 years ago117K 
[ ]
libaac-tactics-ocaml_0.4-2_i386.deb		11 years ago114K 
[ ]
libaac-tactics-ocaml_0.4-2_amd64.deb		11 years ago125K 
[ ]
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb		3 years ago 40K 
[ ]
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb		5 years ago 38K 
[ ]
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb		8 years ago 37K 
[ ]
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb		8 years ago 37K 
[ ]
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb		10 years ago 43K 
[ ]
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb		10 years ago 43K 
[ ]
libaac-tactics-ocaml-dev_0.4-2_i386.deb		11 years ago 43K 
[ ]
libaac-tactics-ocaml-dev_0.4-2_amd64.deb		11 years ago 43K 
[ ]
libaac-tactics-coq_8.15.0-1_all.deb		3 years ago282K 
[ ]
libaac-tactics-coq_8.11.0-1_all.deb		5 years ago238K 
[ ]
libaac-tactics-coq_8.6.1-2_all.deb		8 years ago216K 
[ ]
libaac-tactics-coq_0.4-5build2_all.deb		10 years ago208K 
[ ]
libaac-tactics-coq_0.4-2_all.deb		11 years ago208K 
[ ]
aac-tactics_8.20.0.orig.tar.gz		7 months ago 76KGZIP compressed TAR archive
[ ]
aac-tactics_8.20.0-1build4.dsc		10 days ago2.1K 
[ ]
aac-tactics_8.20.0-1build4.debian.tar.xz		10 days ago3.9KTAR compressed archive
[ ]
aac-tactics_8.20.0-1build3.dsc		4 months ago2.1K 
[ ]
aac-tactics_8.20.0-1build3.debian.tar.xz		4 months ago3.9KTAR compressed archive
[ ]
aac-tactics_8.19.1.orig.tar.gz		1 year ago 75KGZIP compressed TAR archive
[ ]
aac-tactics_8.19.1-2build3.dsc		10 months ago2.1K 
[ ]
aac-tactics_8.19.1-2build3.debian.tar.xz		10 months ago3.8KTAR compressed archive
[ ]
aac-tactics_8.18.0.orig.tar.gz		2 years ago 74KGZIP compressed TAR archive
[ ]
aac-tactics_8.18.0-1build3.dsc		1 year ago2.1K 
[ ]
aac-tactics_8.18.0-1build3.debian.tar.xz		1 year ago3.8KTAR compressed archive
[ ]
aac-tactics_8.15.0.orig.tar.gz		3 years ago 67KGZIP compressed TAR archive
[ ]
aac-tactics_8.15.0-1.dsc		3 years ago2.2K 
[ ]
aac-tactics_8.15.0-1.debian.tar.xz		3 years ago3.5KTAR compressed archive
[ ]
aac-tactics_8.11.0.orig.tar.gz		5 years ago 64KGZIP compressed TAR archive
[ ]
aac-tactics_8.11.0-1.dsc		5 years ago2.1K 
[ ]
aac-tactics_8.11.0-1.debian.tar.xz		5 years ago3.4KTAR compressed archive
[ ]
aac-tactics_8.6.1.orig.tar.gz		9 years ago 73KGZIP compressed TAR archive
[ ]
aac-tactics_8.6.1-2.dsc		8 years ago2.2K 
[ ]
aac-tactics_8.6.1-2.debian.tar.xz		8 years ago3.2KTAR compressed archive
[ ]
aac-tactics_0.4.orig.tar.gz		12 years ago 76KGZIP compressed TAR archive
[ ]
aac-tactics_0.4-5build2.dsc		10 years ago1.9K 
[ ]
aac-tactics_0.4-5build2.debian.tar.xz		10 years ago3.0KTAR compressed archive
[ ]
aac-tactics_0.4-2.dsc		11 years ago2.1K 
[ ]
aac-tactics_0.4-2.debian.tar.xz		11 years ago2.8KTAR compressed archive