⚙
168 MiB
17 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-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.orig.tar.gz26/05/24 17:3826/05/24175 KiB[Save][Download]
coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz18/02/25 21:2518/02/259 KiB[Save][Download]
coq-serapi_8.20.0+0.20.0.orig.tar.gz20/11/24 18:4720/11/24178 KiB[Save][Download]
coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz19/06/25 17:2019/06/259 KiB[Save][Download]
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_amd64.deb20/06/25 04:0120/06/2516.7 MiB[Save][Download]
coq-serapi_8.20.0+0.20.0-1build3_amd64.deb18/02/25 21:2518/02/2533.1 MiB[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-1build3.dsc18/02/25 21:2518/02/252.4 KiB[Save][Download]
coq-serapi_8.20.0+0.20.0-1build4.dsc19/06/25 17:2019/06/252.4 KiB[Save][Download]
coq-serapi_8.20.0+0.20.0-1build4_amd64.deb20/06/25 04:0120/06/2533.1 MiB[Save][Download]
libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_amd64.deb20/06/25 04:0120/06/256.3 MiB[Save][Download]
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_amd64.deb18/02/25 21:2518/02/2516.8 MiB[Save][Download]
libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64.deb18/02/25 21:2518/02/256.3 MiB[Save][Download]
Page generated in 0.001417 seconds
Browsing /ubuntu/pool/universe/c/coq-serapi/ @ mirror.ihost.md