112 MiB
12 files
0 directories
Index of /ubuntu/pool/universe/c/coq-serapi/
Filename Modified Size Type
[Parent Directory]---
coq-serapi_8.19.0+0.19.3.orig.tar.gz26/05/24 17:3826/05/24175 KiB[Save][Download]
coq-serapi_8.20.0+0.20.0.orig.tar.gz20/11/24 18:4720/11/24178 KiB[Save][Download]
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_amd64.deb20/11/24 23:3120/11/2416.8 MiB[Save][Download]
coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz06/09/24 23:0506/09/2410.2 KiB[Save][Download]
coq-serapi_8.19.0+0.19.3-4build2.dsc06/09/24 23:0506/09/242.4 KiB[Save][Download]
coq-serapi_8.19.0+0.19.3-4build2_amd64.deb06/09/24 23:0506/09/2433.3 MiB[Save][Download]
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_amd64.deb06/09/24 23:0506/09/2416.1 MiB[Save][Download]
libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_amd64.deb06/09/24 23:0506/09/246 MiB[Save][Download]
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz20/11/24 18:4720/11/248.9 KiB[Save][Download]
coq-serapi_8.20.0+0.20.0-1.dsc20/11/24 18:4720/11/242.4 KiB[Save][Download]
coq-serapi_8.20.0+0.20.0-1_amd64.deb20/11/24 23:3120/11/2433.1 MiB[Save][Download]
libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb20/11/24 23:3120/11/246.3 MiB[Save][Download]
Page generated in 0.001403 seconds
Browsing /ubuntu/pool/universe/c/coq-serapi/ @ mirror.ihost.md