Index of /ubuntu/pool/universe/a/aac-tactics/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-aac-tactics_8.20.0-1build4_arm64.deb 4448102025-Jun-20 13:01
libcoq-aac-tactics_8.20.0-1build8_arm64.deb 4442762026-Mar-04 17:35
libcoq-aac-tactics_8.20.0-1build9_arm64.deb 4437162026-Jul-09 06:28
libcoq-aac-tactics_8.20.0-1build3_amd64.deb 4309182025-Feb-19 06:25
libcoq-aac-tactics_8.20.0-1build4_amd64.deb 4296762025-Jun-20 13:01
libcoq-aac-tactics_8.20.0-1build8_amd64v3.deb 4296142026-Mar-04 17:35
libcoq-aac-tactics_8.20.0-1build8_amd64.deb 4295542026-Mar-04 17:35
libcoq-aac-tactics_8.20.0-1build9_amd64v3.deb 4292022026-Jul-09 06:25
libcoq-aac-tactics_8.20.0-1build9_amd64.deb 4291342026-Jul-09 06:23
libcoq-aac-tactics_8.18.0-1build3_amd64.deb 4216762024-Apr-08 16:57
libaac-tactics-coq_8.15.0-1_all.deb 2890982022-Feb-07 04:04
libaac-tactics-coq_8.11.0-1_all.deb 2434562020-Mar-19 04:48
libaac-tactics-coq_8.6.1-2_all.deb 2207962017-Nov-01 22:05
libaac-tactics-coq_0.4-5build2_all.deb 2127122015-Nov-05 09:33
libaac-tactics-coq_0.4-2_all.deb 2125282014-Jan-20 20:33
libaac-tactics-ocaml_8.15.0-1_amd64.deb 1307902022-Feb-07 04:04
libaac-tactics-ocaml_0.4-2_amd64.deb 1281162014-Jan-20 20:33
libaac-tactics-ocaml_8.6.1-2_amd64.deb 1202962017-Nov-01 22:05
libaac-tactics-ocaml_0.4-5build2_amd64.deb 1199862015-Nov-05 09:33
libaac-tactics-ocaml_0.4-2_i386.deb 1169642014-Jan-20 20:33
libaac-tactics-ocaml_0.4-5build2_i386.deb 1119502015-Nov-05 09:34
libaac-tactics-ocaml_8.6.1-2_i386.deb 1107962017-Nov-01 22:05
libaac-tactics-ocaml_8.11.0-1_amd64.deb 1068962020-Mar-19 04:48
aac-tactics_8.20.0.orig.tar.gz 776682024-Nov-21 03:47
aac-tactics_0.4.orig.tar.gz 773362013-Dec-07 02:23
aac-tactics_8.18.0.orig.tar.gz 756072023-Dec-22 08:52
aac-tactics_8.6.1.orig.tar.gz 750732016-Dec-31 02:13
aac-tactics_9.0.0.orig.tar.gz 701842026-Jul-29 02:29
aac-tactics_8.15.0.orig.tar.gz 681032022-Feb-07 02:19
aac-tactics_8.11.0.orig.tar.gz 653632020-Mar-19 03:28
libaac-tactics-ocaml-dev_0.4-2_i386.deb 443742014-Jan-20 20:33
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb 440362015-Nov-05 09:33
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb 440282015-Nov-05 09:34
libaac-tactics-ocaml-dev_0.4-2_amd64.deb 439222014-Jan-20 20:33
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb 407762022-Feb-07 04:04
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb 386242020-Mar-19 04:48
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb 376882017-Nov-01 22:05
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 376842017-Nov-01 22:05
aac-tactics_8.20.0-1build8.debian.tar.xz 40802026-Mar-04 17:35
aac-tactics_9.0.0-4.debian.tar.xz 40042026-Jul-29 02:29
aac-tactics_8.20.0-1build4.debian.tar.xz 39682025-Jun-20 02:20
aac-tactics_8.20.0-1build3.debian.tar.xz 39442025-Feb-19 06:25
aac-tactics_8.18.0-1build3.debian.tar.xz 39042024-Apr-08 16:57
aac-tactics_8.15.0-1.debian.tar.xz 36002022-Feb-07 02:19
aac-tactics_8.11.0-1.debian.tar.xz 35202020-Mar-19 03:28
aac-tactics_8.6.1-2.debian.tar.xz 32482017-Nov-01 22:05
aac-tactics_0.4-5build2.debian.tar.xz 30762015-Nov-05 09:30
aac-tactics_0.4-2.debian.tar.xz 28842014-Jan-20 20:09
aac-tactics_8.6.1-2.dsc 22382017-Nov-01 22:05
aac-tactics_8.15.0-1.dsc 22092022-Feb-07 02:19
aac-tactics_0.4-2.dsc 21912014-Jan-20 20:09
aac-tactics_8.18.0-1build3.dsc 21822024-Apr-08 16:57
aac-tactics_8.11.0-1.dsc 21782020-Mar-19 03:28
aac-tactics_9.0.0-4.dsc 21062026-Jul-29 02:29
aac-tactics_8.20.0-1build8.dsc 21032026-Mar-04 17:35
aac-tactics_8.20.0-1build4.dsc 21032025-Jun-20 02:20
aac-tactics_8.20.0-1build3.dsc 21032025-Feb-19 06:25
aac-tactics_0.4-5build2.dsc 19142015-Nov-05 09:30