ubuntu/pool/universe/a/aac-tactics • Public Open Source Mirror

Home / ubuntu / pool / universe / a / aac-tactics

File Name

Size

Date

..

—

—
aac-tactics_0.4-2.debian.tar.xz

2.82KB

2014-01-20 13:09:02

aac-tactics_0.4-2.dsc

2.14KB

2014-01-20 13:09:02

aac-tactics_0.4-5build2.debian.tar.xz

3.00KB

2015-11-05 02:30:28

aac-tactics_0.4-5build2.dsc

1.87KB

2015-11-05 02:30:28

aac-tactics_0.4.orig.tar.gz

75.52KB

2013-12-06 19:23:26

aac-tactics_8.11.0-1.debian.tar.xz

3.44KB

2020-03-18 20:28:16

aac-tactics_8.11.0-1.dsc

2.13KB

2020-03-18 20:28:16

aac-tactics_8.11.0.orig.tar.gz

63.83KB

2020-03-18 20:28:16

aac-tactics_8.15.0-1.debian.tar.xz

3.52KB

2022-02-06 19:19:13

aac-tactics_8.15.0-1.dsc

2.16KB

2022-02-06 19:19:13

aac-tactics_8.15.0.orig.tar.gz

66.51KB

2022-02-06 19:19:13

aac-tactics_8.17.0-1build2.debian.tar.xz

3.54KB

2023-02-16 12:06:43

aac-tactics_8.17.0-1build2.dsc

2.06KB

2023-02-16 12:06:43

aac-tactics_8.17.0.orig.tar.gz

73.90KB

2023-01-05 01:34:26

aac-tactics_8.18.0-1build3.debian.tar.xz

3.81KB

2024-04-08 10:57:42

aac-tactics_8.18.0-1build3.dsc

2.13KB

2024-04-08 10:57:42

aac-tactics_8.18.0.orig.tar.gz

73.83KB

2023-12-22 01:52:05

aac-tactics_8.19.1-2build3.debian.tar.xz

3.83KB

2024-09-07 18:43:56

aac-tactics_8.19.1-2build3.dsc

2.05KB

2024-09-07 18:43:56

aac-tactics_8.19.1.orig.tar.gz

75.18KB

2024-06-11 20:54:04

aac-tactics_8.20.0-1.debian.tar.xz

3.72KB

2024-11-20 20:47:30

aac-tactics_8.20.0-1.dsc

2.05KB

2024-11-20 20:47:30

aac-tactics_8.20.0.orig.tar.gz

75.85KB

2024-11-20 20:47:30

aac-tactics_8.6.1-2.debian.tar.xz

3.17KB

2017-11-01 15:05:16

aac-tactics_8.6.1-2.dsc

2.19KB

2017-11-01 15:05:16

aac-tactics_8.6.1.orig.tar.gz

73.31KB

2016-12-30 19:13:27

libaac-tactics-coq_0.4-2_all.deb

207.55KB

2014-01-20 13:33:29

libaac-tactics-coq_0.4-5build2_all.deb

207.73KB

2015-11-05 02:33:49

libaac-tactics-coq_8.11.0-1_all.deb

237.75KB

2020-03-18 21:48:46

libaac-tactics-coq_8.15.0-1_all.deb

282.32KB

2022-02-06 21:04:57

libaac-tactics-coq_8.6.1-2_all.deb

215.62KB

2017-11-01 15:05:26

libaac-tactics-ocaml-dev_0.4-2_amd64.deb

42.89KB

2014-01-20 13:33:28

libaac-tactics-ocaml-dev_0.4-2_i386.deb

43.33KB

2014-01-20 13:33:57

libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb

43.00KB

2015-11-05 02:33:49

libaac-tactics-ocaml-dev_0.4-5build2_i386.deb

43.00KB

2015-11-05 02:34:15

libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb

37.72KB

2020-03-18 21:48:46

libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb

39.82KB

2022-02-06 21:04:56

libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb

36.80KB

2017-11-01 15:05:26

libaac-tactics-ocaml-dev_8.6.1-2_i386.deb

36.80KB

2017-11-01 15:05:29

libaac-tactics-ocaml_0.4-2_amd64.deb

125.11KB

2014-01-20 13:33:28

libaac-tactics-ocaml_0.4-2_i386.deb

114.22KB

2014-01-20 13:33:57

libaac-tactics-ocaml_0.4-5build2_amd64.deb

117.17KB

2015-11-05 02:33:46

libaac-tactics-ocaml_0.4-5build2_i386.deb

109.33KB

2015-11-05 02:34:14

libaac-tactics-ocaml_8.11.0-1_amd64.deb

104.39KB

2020-03-18 21:48:46

libaac-tactics-ocaml_8.15.0-1_amd64.deb

127.72KB

2022-02-06 21:04:56

libaac-tactics-ocaml_8.6.1-2_amd64.deb

117.48KB

2017-11-01 15:05:26

libaac-tactics-ocaml_8.6.1-2_i386.deb

108.20KB

2017-11-01 15:05:28

libcoq-aac-tactics_8.17.0-1build2_amd64.deb

415.49KB

2023-02-16 14:57:49

libcoq-aac-tactics_8.18.0-1build3_amd64.deb

411.79KB

2024-04-08 10:57:47

libcoq-aac-tactics_8.19.1-2build3_amd64.deb

429.82KB

2024-09-07 18:44:01

libcoq-aac-tactics_8.20.0-1_amd64.deb

420.85KB

2024-11-20 23:31:10