Index of /debian/pool/main/a/aac-tactics/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
aac-tactics_0.4.orig.tar.gz 773362013-Dec-06 07:54
libaac-tactics-ocaml_0.4-3_amd64.deb 1283082014-Jul-30 09:11
aac-tactics_0.4-3.debian.tar.xz 29602014-Jul-30 09:11
aac-tactics_0.4-3.dsc 22312014-Jul-30 09:11
libaac-tactics-coq_0.4-3_all.deb 2138322014-Jul-30 09:11
libaac-tactics-ocaml-dev_0.4-3_amd64.deb 453142014-Jul-30 09:11
libaac-tactics-ocaml_0.4-3_i386.deb 1176922014-Jul-30 09:41
libaac-tactics-ocaml-dev_0.4-3_i386.deb 449962014-Jul-30 09:41
libaac-tactics-ocaml_0.4-3_armhf.deb 1248702014-Jul-30 09:56
libaac-tactics-ocaml-dev_0.4-3_armhf.deb 453142014-Jul-30 09:56
libaac-tactics-ocaml_0.4-3_armel.deb 1231342014-Jul-30 09:56
libaac-tactics-ocaml-dev_0.4-3_armel.deb 452582014-Jul-30 09:56
aac-tactics_8.6.1-1.debian.tar.xz 32202016-Dec-30 10:13
aac-tactics_8.6.1-1.dsc 22172016-Dec-30 10:13
aac-tactics_8.6.1.orig.tar.gz 750732016-Dec-30 10:13
libaac-tactics-coq_8.6.1-1_all.deb 2223422016-Dec-30 10:13
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb 389722016-Dec-30 10:13
libaac-tactics-ocaml_8.6.1-1_amd64.deb 1102422016-Dec-30 10:13
libaac-tactics-ocaml-dev_8.6.1-1_mipsel.deb 389522016-Dec-30 10:43
libaac-tactics-ocaml_8.6.1-1_mipsel.deb 271642016-Dec-30 10:43
libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb 389702016-Dec-30 10:43
libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb 389722016-Dec-30 10:43
libaac-tactics-ocaml-dev_8.6.1-1_armel.deb 389702016-Dec-30 10:43
libaac-tactics-ocaml_8.6.1-1_arm64.deb 1079162016-Dec-30 10:43
libaac-tactics-ocaml_8.6.1-1_armel.deb 1150202016-Dec-30 10:43
libaac-tactics-ocaml_8.6.1-1_armhf.deb 1175322016-Dec-30 10:43
libaac-tactics-ocaml-dev_8.6.1-1_mips.deb 389502016-Dec-30 10:43
libaac-tactics-ocaml_8.6.1-1_mips.deb 271622016-Dec-30 10:43
libaac-tactics-ocaml-dev_8.6.1-1_s390x.deb 389502016-Dec-30 10:43
libaac-tactics-ocaml-dev_8.6.1-1_i386.deb 389702016-Dec-30 10:43
libaac-tactics-ocaml-dev_8.6.1-1_ppc64el.deb 389522016-Dec-30 10:43
libaac-tactics-ocaml_8.6.1-1_i386.deb 1037222016-Dec-30 10:43
libaac-tactics-ocaml_8.6.1-1_ppc64el.deb 271622016-Dec-30 10:43
libaac-tactics-ocaml_8.6.1-1_s390x.deb 271642016-Dec-30 10:43
libaac-tactics-ocaml-dev_8.6.1-1_mips64el.deb 389542017-Jan-04 11:43
libaac-tactics-ocaml_8.6.1-1_mips64el.deb 271642017-Jan-04 11:43
aac-tactics_8.16.0-1.debian.tar.xz 35202022-Sep-06 09:04
aac-tactics_8.16.0-1.dsc 21082022-Sep-06 09:04
aac-tactics_8.16.0.orig.tar.gz 755252022-Sep-06 09:04
libcoq-aac-tactics_8.16.0-1+b1_arm64.deb 3982642022-Nov-29 13:28
libcoq-aac-tactics_8.16.0-1+b1_armhf.deb 3889082022-Nov-29 13:28
libcoq-aac-tactics_8.16.0-1+b1_i386.deb 3819282022-Nov-29 13:43
libcoq-aac-tactics_8.16.0-1+b1_amd64.deb 3904442022-Nov-29 13:44
libcoq-aac-tactics_8.16.0-1+b1_ppc64el.deb 3931602022-Nov-29 14:29
libcoq-aac-tactics_8.16.0-1+b1_s390x.deb 3919242022-Nov-30 15:47