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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
aac-tactics_0.4-3.debian.tar.xz 29602014-Jul-30 09:11
aac-tactics_0.4-3.dsc 22312014-Jul-30 09:11
aac-tactics_0.4.orig.tar.gz 773362013-Dec-06 07:54
aac-tactics_8.15.1-6.debian.tar.xz 38242022-Jun-12 12:00
aac-tactics_8.15.1-6.dsc 22622022-Jun-12 12:00
aac-tactics_8.15.1.orig.tar.gz 682942022-Apr-03 20:10
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_0.4-3_all.deb 2138322014-Jul-30 09:11
libaac-tactics-coq_8.6.1-1_all.deb 2223422016-Dec-30 10:13
libaac-tactics-ocaml-dev_0.4-3_amd64.deb 453142014-Jul-30 09:11
libaac-tactics-ocaml-dev_0.4-3_armel.deb 452582014-Jul-30 09:56
libaac-tactics-ocaml-dev_0.4-3_armhf.deb 453142014-Jul-30 09:56
libaac-tactics-ocaml-dev_0.4-3_i386.deb 449962014-Jul-30 09:41
libaac-tactics-ocaml-dev_8.15.1-6_amd64.deb 395562022-Jun-12 12:25
libaac-tactics-ocaml-dev_8.15.1-6_arm64.deb 395562022-Jun-12 12:25
libaac-tactics-ocaml-dev_8.15.1-6_armhf.deb 395562022-Jun-12 12:25
libaac-tactics-ocaml-dev_8.15.1-6_i386.deb 395602022-Jun-12 12:15
libaac-tactics-ocaml-dev_8.15.1-6_ppc64el.deb 395602022-Jun-12 12:25
libaac-tactics-ocaml-dev_8.15.1-6_s390x.deb 395562022-Jun-12 14:11
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb 389722016-Dec-30 10:13
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-dev_8.6.1-1_armhf.deb 389702016-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_mips.deb 389502016-Dec-30 10:43
libaac-tactics-ocaml-dev_8.6.1-1_mips64el.deb 389542017-Jan-04 11:43
libaac-tactics-ocaml-dev_8.6.1-1_mipsel.deb 389522016-Dec-30 10:43
libaac-tactics-ocaml-dev_8.6.1-1_ppc64el.deb 389522016-Dec-30 10:43
libaac-tactics-ocaml-dev_8.6.1-1_s390x.deb 389502016-Dec-30 10:43
libaac-tactics-ocaml_0.4-3_amd64.deb 1283082014-Jul-30 09:11
libaac-tactics-ocaml_0.4-3_armel.deb 1231342014-Jul-30 09:56
libaac-tactics-ocaml_0.4-3_armhf.deb 1248702014-Jul-30 09:56
libaac-tactics-ocaml_0.4-3_i386.deb 1176922014-Jul-30 09:41
libaac-tactics-ocaml_8.15.1-6_amd64.deb 1142962022-Jun-12 12:25
libaac-tactics-ocaml_8.15.1-6_arm64.deb 1216682022-Jun-12 12:25
libaac-tactics-ocaml_8.15.1-6_armhf.deb 1127882022-Jun-12 12:25
libaac-tactics-ocaml_8.15.1-6_i386.deb 1062122022-Jun-12 12:15
libaac-tactics-ocaml_8.15.1-6_ppc64el.deb 1169722022-Jun-12 12:25
libaac-tactics-ocaml_8.15.1-6_s390x.deb 1151522022-Jun-12 14:11
libaac-tactics-ocaml_8.6.1-1_amd64.deb 1102422016-Dec-30 10:13
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_8.6.1-1_i386.deb 1037222016-Dec-30 10:43
libaac-tactics-ocaml_8.6.1-1_mips.deb 271622016-Dec-30 10:43
libaac-tactics-ocaml_8.6.1-1_mips64el.deb 271642017-Jan-04 11:43
libaac-tactics-ocaml_8.6.1-1_mipsel.deb 271642016-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
libcoq-aac-tactics_8.15.1-6_amd64.deb 2673642022-Jun-12 12:25
libcoq-aac-tactics_8.15.1-6_arm64.deb 2673082022-Jun-12 12:25
libcoq-aac-tactics_8.15.1-6_armhf.deb 2673042022-Jun-12 12:25
libcoq-aac-tactics_8.15.1-6_i386.deb 2671522022-Jun-12 12:15
libcoq-aac-tactics_8.15.1-6_ppc64el.deb 2673482022-Jun-12 12:25
libcoq-aac-tactics_8.15.1-6_s390x.deb 2673162022-Jun-12 14:11