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-1.debian.tar.xz

8.87KB

2024-11-20 20:47:26

coq-serapi_8.20.0+0.20.0-1.dsc

2.43KB

2024-11-20 20:47:26

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

33.11MB

2024-11-21 01:31:47

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-1_amd64.deb

16.83MB

2024-11-21 01:31:47

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-1_amd64.deb

6.28MB

2024-11-21 01:31:47