ubuntu/pool/universe/c/coq • Public Open Source Mirror

Home / ubuntu / pool / universe / c / coq

File Name

Size

Date

..

—

—
coq-theories_8.11.0-1_amd64.deb

31.55MB

2020-03-06 10:38:19

coq-theories_8.4pl3dfsg-1_all.deb

30.49MB

2014-01-20 01:58:43

coq-theories_8.4pl4dfsg-3build2_all.deb

30.74MB

2015-11-04 16:04:33

coq-theories_8.6-5build1_amd64.deb

31.64MB

2017-10-28 18:34:40

coq-theories_8.6-5build1_i386.deb

30.68MB

2017-10-28 18:34:52

coq_8.11.0-1_amd64.deb

73.04MB

2020-03-06 10:38:18

coq_8.15.0+dfsg-2_amd64.deb

90.97MB

2022-02-06 01:52:00

coq_8.18.0+dfsg-1build2_amd64.deb

91.49MB

2024-03-31 22:32:22

coq_8.19.1+dfsg-3build3_amd64.deb

96.14MB

2024-09-07 10:09:30

coq_8.20.1+dfsg-1_amd64.deb

78.16MB

2025-02-18 03:40:18

coq_8.4pl3dfsg-1_amd64.deb

3.85MB

2014-01-20 01:58:45

coq_8.4pl3dfsg-1_i386.deb

3.57MB

2014-01-20 01:58:55

coq_8.4pl4dfsg-3build2_amd64.deb

3.81MB

2015-11-04 16:04:34

coq_8.4pl4dfsg-3build2_i386.deb

3.57MB

2015-11-04 15:39:44

coq_8.6-5build1_amd64.deb

16.86MB

2017-10-28 18:34:41

coq_8.6-5build1_i386.deb

16.16MB

2017-10-28 18:34:51

coqide_8.11.0-1_amd64.deb

1.68MB

2020-03-06 10:38:18

coqide_8.15.0+dfsg-2_amd64.deb

2.28MB

2022-02-06 01:51:53

coqide_8.18.0+dfsg-1build2_amd64.deb

2.24MB

2024-03-31 22:32:21

coqide_8.19.1+dfsg-3build3_amd64.deb

2.33MB

2024-09-07 10:09:30

coqide_8.20.1+dfsg-1_amd64.deb

2.11MB

2025-02-18 03:40:16

coqide_8.4pl3dfsg-1_amd64.deb

727.16KB

2014-01-20 01:58:45

coqide_8.4pl3dfsg-1_i386.deb

661.64KB

2014-01-20 01:58:54

coqide_8.4pl4dfsg-3build2_amd64.deb

731.36KB

2015-11-04 16:04:31

coqide_8.4pl4dfsg-3build2_i386.deb

694.95KB

2015-11-04 15:39:44

coqide_8.6-5build1_amd64.deb

1.47MB

2017-10-28 18:34:40

coqide_8.6-5build1_i386.deb

1.32MB

2017-10-28 18:34:51

libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb

42.95MB

2022-02-06 01:51:58

libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb

49.03MB

2024-03-31 22:32:21

libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64.deb

65.07MB

2024-09-07 10:09:29

libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb

66.47MB

2025-02-18 03:40:16

libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb

25.82MB

2022-02-06 01:51:56

libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb

26.40MB

2024-03-31 22:32:21

libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb

24.76MB

2024-09-07 10:09:30

libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb

25.57MB

2025-02-18 03:40:16

libcoq-ocaml-dev_8.11.0-1_amd64.deb

15.32MB

2020-03-06 10:38:21

libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb

3.49MB

2014-01-20 01:58:43

libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb

3.48MB

2014-01-20 01:58:55

libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb

3.50MB

2015-11-04 16:04:32

libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb

3.56MB

2015-11-04 15:39:45

libcoq-ocaml-dev_8.6-5build1_amd64.deb

13.18MB

2017-10-28 18:34:40

libcoq-ocaml-dev_8.6-5build1_i386.deb

13.16MB

2017-10-28 18:34:50

libcoq-ocaml_8.11.0-1_amd64.deb

6.03MB

2020-03-06 10:38:20

libcoq-ocaml_8.4pl3dfsg-1_amd64.deb

1.51MB

2014-01-20 01:58:43

libcoq-ocaml_8.4pl3dfsg-1_i386.deb

1.37MB

2014-01-20 01:58:54

libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb

1.43MB

2015-11-04 16:04:31

libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb

1.33MB

2015-11-04 15:39:44

libcoq-ocaml_8.6-5build1_amd64.deb

3.40MB

2017-10-28 18:34:39

libcoq-ocaml_8.6-5build1_i386.deb

3.24MB

2017-10-28 18:34:51

libcoq-stdlib_8.15.0+dfsg-2_amd64.deb

23.55MB

2022-02-06 01:51:58

libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb

25.28MB

2024-03-31 22:32:20

libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb

25.77MB

2024-09-07 10:09:29

libcoq-stdlib_8.20.1+dfsg-1_amd64.deb

25.72MB

2025-02-18 03:40:15