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

Home / ubuntu / pool / universe / c / coq-elpi

File Name

Size

Date

..

—

—
coq-elpi_1.13.0-1.debian.tar.xz

2.52KB

2022-02-11 01:14:45

coq-elpi_1.13.0-1.dsc

2.04KB

2022-02-11 01:14:44

coq-elpi_1.13.0.orig.tar.gz

351.61KB

2022-02-11 01:14:44

coq-elpi_1.19.3-2build4.debian.tar.xz

3.76KB

2024-04-08 10:57:41

coq-elpi_1.19.3-2build4.dsc

2.06KB

2024-04-08 10:57:41

coq-elpi_1.19.3.orig.tar.gz

558.28KB

2023-12-22 19:26:57

coq-elpi_2.1.0-1build9.debian.tar.xz

3.76KB

2024-09-17 18:51:40

coq-elpi_2.1.0-1build9.dsc

1.97KB

2024-09-17 18:51:40

coq-elpi_2.1.0.orig.tar.gz

699.00KB

2024-05-02 14:53:16

coq-elpi_2.2.3-1build1.debian.tar.xz

3.69KB

2024-11-21 05:11:02

coq-elpi_2.2.3-1build1.dsc

2.01KB

2024-11-21 05:11:02

coq-elpi_2.2.3.orig.tar.gz

736.27KB

2024-11-20 20:47:28

libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb

1.63MB

2022-02-11 01:34:06

libcoq-elpi-ocaml_1.13.0-1_amd64.deb

4.76MB

2022-02-11 01:34:06

libcoq-elpi_1.19.3-2build4_amd64.deb

3.03MB

2024-04-08 10:57:47

libcoq-elpi_2.1.0-1build9_amd64.deb

2.91MB

2024-09-19 20:02:28

libcoq-elpi_2.2.3-1build1_amd64.deb

7.58MB

2024-11-21 05:11:08