Index of /ubuntu-ports/pool/universe/m/mcl14
Name Last modified Size Description
Parent Directory -
mcl14_14-137+ocaml.orig.tar.xz 2024-05-14 20:09 1.6M
libmcl14-ocaml-dev_14-137+ocaml-3_riscv64.deb 2024-07-01 02:55 367K
libmcl14-ocaml-dev_14-137+ocaml-3_ppc64el.deb 2024-07-01 02:55 259K
libmcl14-ocaml-dev_14-137+ocaml-3_s390x.deb 2024-07-01 02:55 248K
libmcl14-ocaml-dev_14-137+ocaml-3_arm64.deb 2024-07-01 02:55 245K
libmcl14-ocaml-dev_14-137+ocaml-3_armhf.deb 2024-07-01 02:55 220K
mcl14_14-137+ocaml-3.debian.tar.xz 2024-07-01 01:49 52K
mcl14_14-137+ocaml-3.dsc 2024-07-01 01:49 2.1K
Apache/2.4.41 (Ubuntu) Server at ftp.de.netbsd.org Port 80