/debian/pool/main/a/aac-tactics/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
aac-tactics_0.4.orig.tar.gz 76K06-Dec-2013 09:54
libaac-tactics-ocaml_0.4-3_amd64.deb 125K30-Jul-2014 11:11
aac-tactics_0.4-3.debian.tar.xz 296030-Jul-2014 11:11
aac-tactics_0.4-3.dsc 223130-Jul-2014 11:11
libaac-tactics-coq_0.4-3_all.deb 209K30-Jul-2014 11:11
libaac-tactics-ocaml-dev_0.4-3_amd64.deb 44K30-Jul-2014 11:11
libaac-tactics-ocaml-dev_0.4-3_i386.deb 44K30-Jul-2014 11:41
libaac-tactics-ocaml_0.4-3_i386.deb 115K30-Jul-2014 11:41
libaac-tactics-ocaml_0.4-3_armhf.deb 122K30-Jul-2014 11:56
libaac-tactics-ocaml-dev_0.4-3_armhf.deb 44K30-Jul-2014 11:56
libaac-tactics-ocaml_0.4-3_armel.deb 120K30-Jul-2014 11:56
libaac-tactics-ocaml-dev_0.4-3_armel.deb 44K30-Jul-2014 11:56
libaac-tactics-coq_8.6.1-1_all.deb 217K30-Dec-2016 12:13
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb 38K30-Dec-2016 12:13
aac-tactics_8.6.1-1.debian.tar.xz 322030-Dec-2016 12:13
aac-tactics_8.6.1-1.dsc 221730-Dec-2016 12:13
aac-tactics_8.6.1.orig.tar.gz 73K30-Dec-2016 12:13
libaac-tactics-ocaml_8.6.1-1_amd64.deb 108K30-Dec-2016 12:13
libaac-tactics-ocaml-dev_8.6.1-1_mipsel.deb 38K30-Dec-2016 12:43
libaac-tactics-ocaml_8.6.1-1_mipsel.deb 27K30-Dec-2016 12:43
libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb 38K30-Dec-2016 12:43
libaac-tactics-ocaml-dev_8.6.1-1_armel.deb 38K30-Dec-2016 12:43
libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb 38K30-Dec-2016 12:43
libaac-tactics-ocaml_8.6.1-1_armel.deb 112K30-Dec-2016 12:43
libaac-tactics-ocaml_8.6.1-1_arm64.deb 105K30-Dec-2016 12:43
libaac-tactics-ocaml_8.6.1-1_armhf.deb 115K30-Dec-2016 12:43
libaac-tactics-ocaml-dev_8.6.1-1_mips.deb 38K30-Dec-2016 12:43
libaac-tactics-ocaml_8.6.1-1_mips.deb 27K30-Dec-2016 12:43
libaac-tactics-ocaml-dev_8.6.1-1_i386.deb 38K30-Dec-2016 12:43
libaac-tactics-ocaml_8.6.1-1_ppc64el.deb 27K30-Dec-2016 12:43
libaac-tactics-ocaml_8.6.1-1_s390x.deb 27K30-Dec-2016 12:43
libaac-tactics-ocaml_8.6.1-1_i386.deb 101K30-Dec-2016 12:43
libaac-tactics-ocaml-dev_8.6.1-1_ppc64el.deb 38K30-Dec-2016 12:43
libaac-tactics-ocaml-dev_8.6.1-1_s390x.deb 38K30-Dec-2016 12:43
libaac-tactics-ocaml_8.6.1-1_mips64el.deb 27K04-Jan-2017 13:43
libaac-tactics-ocaml-dev_8.6.1-1_mips64el.deb 38K04-Jan-2017 13:43
aac-tactics_8.11.0.orig.tar.gz 64K17-Mar-2020 18:16
aac-tactics_8.11.0-1.debian.tar.xz 352017-Mar-2020 18:16
aac-tactics_8.11.0-1.dsc 217817-Mar-2020 18:16
libaac-tactics-coq_8.11.0-1_all.deb 239K17-Mar-2020 18:36
libaac-tactics-ocaml-dev_8.11.0-1+b1_arm64.deb 38K10-Apr-2020 13:11
libaac-tactics-ocaml_8.11.0-1+b1_arm64.deb 117K10-Apr-2020 13:11
libaac-tactics-ocaml_8.11.0-1+b1_ppc64el.deb 111K10-Apr-2020 13:41
libaac-tactics-ocaml-dev_8.11.0-1+b1_ppc64el.deb 38K10-Apr-2020 13:41
libaac-tactics-ocaml_8.11.0-1+b1_amd64.deb 107K10-Apr-2020 15:03
libaac-tactics-ocaml-dev_8.11.0-1+b1_amd64.deb 38K10-Apr-2020 15:03