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

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

File Name

Size

Date

..

—

—
coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz

9.00KB

2025-02-18 23:25:08

coq-serapi_8.20.0+0.20.0-1build3.dsc

2.43KB

2025-02-18 23:25:08

coq-serapi_8.20.0+0.20.0-1build3_amd64.deb

33.12MB

2025-02-18 23:25:32

coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz

9.02KB

2025-06-19 20:20:20

coq-serapi_8.20.0+0.20.0-1build4.dsc

2.43KB

2025-06-19 20:20:20

coq-serapi_8.20.0+0.20.0-1build4_amd64.deb

33.10MB

2025-06-20 07:01:49

coq-serapi_8.20.0+0.20.0.orig.tar.gz

178.20KB

2024-11-20 20:47:26

libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_amd64.deb

16.76MB

2025-02-18 23:25:31

libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_amd64.deb

16.74MB

2025-06-20 07:01:48

libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64.deb

6.31MB

2025-02-18 23:25:31

libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_amd64.deb

6.30MB

2025-06-20 07:01:48