Index of /ubuntu/archive/ubuntu/ubuntu/pool/universe/p/ppxlib
Name
Last modified
Size
Description
Parent Directory
-
libppxlib-ocaml-dev_0.12.0-1build1_amd64.deb
21-Feb-2020 04:28
11M
libppxlib-ocaml-dev_0.24.0-1build2_amd64.deb
28-Jan-2022 10:28
16M
libppxlib-ocaml-dev_0.27.0-2build2_amd64.deb
15-Feb-2023 09:59
16M
libppxlib-ocaml-dev_0.30.0-3_amd64.deb
06-Aug-2023 07:29
18M
libppxlib-ocaml-dev_0.32.0-1_amd64.deb
15-Feb-2024 13:29
19M
ppxlib_0.12.0-1build1.debian.tar.xz
21-Feb-2020 02:53
2.8K
ppxlib_0.12.0-1build1.dsc
21-Feb-2020 02:53
2.2K
ppxlib_0.12.0.orig.tar.gz
13-Jan-2020 18:18
164K
ppxlib_0.24.0-1build2.debian.tar.xz
28-Jan-2022 10:28
2.8K
ppxlib_0.24.0-1build2.dsc
28-Jan-2022 10:28
2.0K
ppxlib_0.24.0.orig.tar.bz2
20-Jan-2022 18:28
218K
ppxlib_0.27.0-2build2.debian.tar.xz
15-Feb-2023 09:59
2.9K
ppxlib_0.27.0-2build2.dsc
15-Feb-2023 09:59
2.0K
ppxlib_0.27.0.orig.tar.bz2
06-Nov-2022 00:01
234K
ppxlib_0.30.0-3.debian.tar.xz
06-Aug-2023 07:29
2.9K
ppxlib_0.30.0-3.dsc
06-Aug-2023 07:29
1.8K
ppxlib_0.30.0.orig.tar.gz
03-Jul-2023 13:29
560K
ppxlib_0.32.0-1.debian.tar.xz
15-Feb-2024 12:24
3.1K
ppxlib_0.32.0-1.dsc
15-Feb-2024 12:24
1.8K
ppxlib_0.32.0.orig.tar.bz2
15-Feb-2024 12:24
356K
Apache/2.2.15 (CentOS) Server at mirror.cs.pitt.edu Port 80