Index of /ubuntu-ports/pool/universe/c/coq-serapi/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-serapi_8.19.0+0.19.3.orig.tar.gz175.4 KiB2024-May-27 02:38
coq-serapi_8.19.0+0.19.3-4.debian.tar.xz10.0 KiB2024-Aug-04 20:34
coq-serapi_8.19.0+0.19.3-4.dsc2.2 KiB2024-Aug-04 20:34
coq-serapi_8.19.0+0.19.3-4_arm64.deb39.6 MiB2024-Aug-04 20:34
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_arm64.deb14.8 MiB2024-Aug-04 20:34
libcoq-serapi-ocaml_8.19.0+0.19.3-4_arm64.deb7.2 MiB2024-Aug-04 20:34
coq-serapi_8.19.0+0.19.3-4_armhf.deb32.2 MiB2024-Aug-04 20:34
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_armhf.deb14.9 MiB2024-Aug-04 20:34
libcoq-serapi-ocaml_8.19.0+0.19.3-4_armhf.deb6.9 MiB2024-Aug-04 20:34
coq-serapi_8.19.0+0.19.3-4_ppc64el.deb34.1 MiB2024-Aug-04 20:34
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_ppc64el..>15.1 MiB2024-Aug-04 20:34
libcoq-serapi-ocaml_8.19.0+0.19.3-4_ppc64el.deb6.9 MiB2024-Aug-04 20:34
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_riscv64..>16.6 MiB2024-Aug-04 21:26
libcoq-serapi-ocaml_8.19.0+0.19.3-4_riscv64.deb7.0 MiB2024-Aug-04 21:26
coq-serapi_8.19.0+0.19.3-4_riscv64.deb33.9 MiB2024-Aug-04 21:26
coq-serapi_8.19.0+0.19.3-4build1.debian.tar.xz10.1 KiB2024-Aug-09 22:49
coq-serapi_8.19.0+0.19.3-4build1.dsc2.4 KiB2024-Aug-09 22:49