Index of /Raspbian/raspbian/pool/main/o/ocplib-simplex
Name Last modified Size Description
Parent Directory -
ocplib-simplex_0.4-1.debian.tar.xz 2017-11-15 15:57 2.6K
ocplib-simplex_0.4-1.dsc 2017-11-15 15:57 2.1K
ocplib-simplex_0.4.orig.tar.gz 2017-11-15 15:57 31K
ocplib-simplex-ocaml-dev_0.4-1+b1_armhf.deb 2018-01-08 18:08 251K
ocplib-simplex_0.4-2.debian.tar.xz 2019-11-13 17:28 2.7K
ocplib-simplex_0.4-2.dsc 2019-11-13 17:28 1.8K
ocplib-simplex-ocaml-dev_0.4-2+b2_armhf.deb 2020-11-08 19:46 264K
ocplib-simplex-ocaml-dev_0.4-2+b3_armhf.deb 2022-02-04 12:08 266K
ocplib-simplex_0.5.1.orig.tar.gz 2024-06-04 12:38 33K
ocplib-simplex_0.5.1-2.debian.tar.xz 2024-06-07 15:24 2.5K
ocplib-simplex_0.5.1-2.dsc 2024-06-07 15:24 1.9K
ocplib-simplex-ocaml-dev_0.5.1-2+b2_armhf.deb 2024-09-16 12:08 1.0M
Apache/2.4.62 (Debian) Server at de.freedif.org Port 443