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

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

File Name

Size

Date

..

—

—
coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz

10.16KB

2024-09-07 02:05:16

coq-serapi_8.19.0+0.19.3-4build2.dsc

2.43KB

2024-09-07 02:05:16

coq-serapi_8.19.0+0.19.3-4build2_amd64.deb

33.34MB

2024-09-07 02:05:40

coq-serapi_8.19.0+0.19.3.orig.tar.gz

175.44KB

2024-05-26 20:38:04

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.orig.tar.gz

178.20KB

2024-11-20 20:47:26

libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_amd64.deb

16.14MB

2024-09-07 02:05:39

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

16.76MB

2025-02-18 23:25:31

libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_amd64.deb

6.01MB

2024-09-07 02:05:39

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

6.31MB

2025-02-18 23:25:31