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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-serapi_8.19.0+0.19.3-2.dsc2.4 KiB2024-May-26 17:38
coq-serapi_8.19.0+0.19.3-2.debian.tar.xz8.7 KiB2024-May-26 17:38
coq-serapi_8.19.0+0.19.3.orig.tar.gz175.4 KiB2024-May-26 17:38
libcoq-serapi-ocaml_8.19.0+0.19.3-2_armhf.deb7.0 MiB2024-May-26 19:03
libcoq-serapi-ocaml_8.19.0+0.19.3-2_ppc64el.deb7.1 MiB2024-May-26 19:03
libcoq-serapi-ocaml_8.19.0+0.19.3-2_riscv64.deb7.2 MiB2024-May-26 19:03
libcoq-serapi-ocaml_8.19.0+0.19.3-2_arm64.deb7.5 MiB2024-May-26 19:03
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_arm64.deb14.1 MiB2024-May-26 19:03
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_armhf.deb14.1 MiB2024-May-26 19:03
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_ppc64el...>14.3 MiB2024-May-26 19:03
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_riscv64...>16.0 MiB2024-May-26 19:03
coq-serapi_8.19.0+0.19.3-2_armhf.deb32.9 MiB2024-May-26 19:03
coq-serapi_8.19.0+0.19.3-2_ppc64el.deb35.1 MiB2024-May-26 19:03
coq-serapi_8.19.0+0.19.3-2_riscv64.deb35.8 MiB2024-May-26 19:03
coq-serapi_8.19.0+0.19.3-2_arm64.deb41.8 MiB2024-May-26 19:03