Index of /ubuntu/pool/universe/o/ocplib-simplex
Name
Last modified
Size
Description
Parent Directory
-
ocplib-simplex-ocaml-dev_0.4-1_amd64.deb
2017-11-15 18:39
249K
ocplib-simplex-ocaml-dev_0.4-1_i386.deb
2017-11-15 18:39
242K
ocplib-simplex-ocaml-dev_0.4-2build1_amd64.deb
2020-02-21 02:54
252K
ocplib-simplex-ocaml-dev_0.4-2build3_amd64.deb
2022-01-24 22:30
325K
ocplib-simplex-ocaml-dev_0.5-4build5_amd64.deb
2024-02-19 20:32
744K
ocplib-simplex-ocaml-dev_0.5.1-2build5_amd64.deb
2024-08-13 16:40
1.1M
ocplib-simplex_0.4-1.debian.tar.xz
2017-11-15 18:39
2.6K
ocplib-simplex_0.4-1.dsc
2017-11-15 18:39
2.1K
ocplib-simplex_0.4-2build1.debian.tar.xz
2020-02-21 02:54
2.8K
ocplib-simplex_0.4-2build1.dsc
2020-02-21 02:54
2.2K
ocplib-simplex_0.4-2build3.debian.tar.xz
2022-01-24 22:29
2.9K
ocplib-simplex_0.4-2build3.dsc
2022-01-24 22:29
2.2K
ocplib-simplex_0.4.orig.tar.gz
2017-11-15 18:39
31K
ocplib-simplex_0.5-4build5.debian.tar.xz
2024-02-19 19:47
2.6K
ocplib-simplex_0.5-4build5.dsc
2024-02-19 19:47
2.1K
ocplib-simplex_0.5.1-2build5.debian.tar.xz
2024-08-09 15:49
2.7K
ocplib-simplex_0.5.1-2build5.dsc
2024-08-09 15:49
2.2K
ocplib-simplex_0.5.1.orig.tar.gz
2024-06-04 13:43
33K
ocplib-simplex_0.5.orig.tar.gz
2023-07-21 13:54
31K
Apache/2.4.62 (Debian) Server at mirror.informatik.tu-freiberg.de Port 443