Index of /ubuntu/pool/universe/p/ppxlib
Name
Last modified
Size
Description
Parent Directory
-
libppxlib-ocaml-dev_0.12.0-1build1_amd64.deb
2020-02-21 09:28
11M
libppxlib-ocaml-dev_0.24.0-1build2_amd64.deb
2022-01-28 15:28
16M
libppxlib-ocaml-dev_0.27.0-2build2_amd64.deb
2023-02-15 14:59
16M
libppxlib-ocaml-dev_0.30.0-3_amd64.deb
2023-08-06 11:29
18M
libppxlib-ocaml-dev_0.32.0-1_amd64.deb
2024-02-15 18:29
19M
libppxlib-ocaml-dev_0.32.1-1_amd64.deb
2024-06-03 18:03
19M
libppxlib-ocaml-dev_0.33.0-1_amd64.deb
2024-08-21 06:58
24M
ppxlib_0.12.0-1build1.debian.tar.xz
2020-02-21 07:53
2.8K
ppxlib_0.12.0-1build1.dsc
2020-02-21 07:53
2.2K
ppxlib_0.12.0.orig.tar.gz
2020-01-13 23:18
164K
ppxlib_0.24.0-1build2.debian.tar.xz
2022-01-28 15:28
2.8K
ppxlib_0.24.0-1build2.dsc
2022-01-28 15:28
2.0K
ppxlib_0.24.0.orig.tar.bz2
2022-01-20 23:28
218K
ppxlib_0.27.0-2build2.debian.tar.xz
2023-02-15 14:59
2.9K
ppxlib_0.27.0-2build2.dsc
2023-02-15 14:59
2.0K
ppxlib_0.27.0.orig.tar.bz2
2022-11-06 04:01
234K
ppxlib_0.30.0-3.debian.tar.xz
2023-08-06 11:29
2.9K
ppxlib_0.30.0-3.dsc
2023-08-06 11:29
1.8K
ppxlib_0.30.0.orig.tar.gz
2023-07-03 17:29
560K
ppxlib_0.32.0-1.debian.tar.xz
2024-02-15 17:24
3.1K
ppxlib_0.32.0-1.dsc
2024-02-15 17:24
1.8K
ppxlib_0.32.0.orig.tar.bz2
2024-02-15 17:24
356K
ppxlib_0.32.1-1.debian.tar.xz
2024-06-03 17:23
3.1K
ppxlib_0.32.1-1.dsc
2024-06-03 17:23
1.8K
ppxlib_0.32.1.orig.tar.bz2
2024-06-03 17:23
363K
ppxlib_0.33.0-1.debian.tar.xz
2024-08-21 06:58
3.1K
ppxlib_0.33.0-1.dsc
2024-08-21 06:58
1.8K
ppxlib_0.33.0.orig.tar.bz2
2024-08-21 06:58
373K
Apache/2.4.52 (Ubuntu) Server at mirror.virtury.com Port 80