ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/c/coq-serapi/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-serapi_8.20.0+0.20.0-1_amd64.deb 33M21-Nov-2024 03:31
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_amd64.deb 17M21-Nov-2024 03:31
libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb 6M21-Nov-2024 03:31
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz 908020-Nov-2024 22:47
coq-serapi_8.20.0+0.20.0-1.dsc 249020-Nov-2024 22:47
coq-serapi_8.20.0+0.20.0.orig.tar.gz 178K20-Nov-2024 22:47
coq-serapi_8.19.0+0.19.3-4build2_amd64.deb 33M07-Sep-2024 03:05
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_amd64.deb 16M07-Sep-2024 03:05
libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_amd64.deb 6M07-Sep-2024 03:05
coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz 10K07-Sep-2024 03:05
coq-serapi_8.19.0+0.19.3-4build2.dsc 249207-Sep-2024 03:05
coq-serapi_8.19.0+0.19.3.orig.tar.gz 175K26-May-2024 21:38