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