Index of /ubuntu/pool/universe/p/ppx-sexp-conv
Name
Last modified
Size
Description
Parent Directory
-
libppx-sexp-conv-ocaml-dev_0.13.0-1build1_amd64.deb
2020-02-21 10:53
446K
libppx-sexp-conv-ocaml-dev_0.14.3-1build1_amd64.deb
2022-01-25 15:14
805K
libppx-sexp-conv-ocaml-dev_0.15.1+really0.15.1-2build2_amd64.deb
2023-02-16 08:29
880K
libppx-sexp-conv-ocaml-dev_0.16.0-3_amd64.deb
2023-08-06 13:29
889K
libppx-sexp-conv-ocaml-dev_0.16.0-3build2_amd64.deb
2024-02-16 13:54
876K
libppx-sexp-conv-ocaml-dev_0.17.0-1build2_amd64.deb
2024-09-05 21:07
1.1M
libppx-sexp-conv-ocaml_0.13.0-1build1_amd64.deb
2020-02-21 10:53
188K
libppx-sexp-conv-ocaml_0.14.3-1build1_amd64.deb
2022-01-25 15:14
410K
libppx-sexp-conv-ocaml_0.15.1+really0.15.1-2build2_amd64.deb
2023-02-16 08:29
434K
libppx-sexp-conv-ocaml_0.16.0-3_amd64.deb
2023-08-06 13:29
446K
libppx-sexp-conv-ocaml_0.16.0-3build2_amd64.deb
2024-02-16 13:54
433K
libppx-sexp-conv-ocaml_0.17.0-1build2_amd64.deb
2024-09-05 21:07
422K
ppx-sexp-conv_0.13.0-1build1.debian.tar.xz
2020-02-21 08:53
2.0K
ppx-sexp-conv_0.13.0-1build1.dsc
2020-02-21 08:53
2.3K
ppx-sexp-conv_0.13.0.orig.tar.gz
2020-01-14 00:18
32K
ppx-sexp-conv_0.14.3-1build1.debian.tar.xz
2022-01-25 15:14
2.0K
ppx-sexp-conv_0.14.3-1build1.dsc
2022-01-25 15:14
2.2K
ppx-sexp-conv_0.14.3.orig.tar.gz
2022-01-21 06:14
49K
ppx-sexp-conv_0.15.1+really0.15.1-2build2.debian.tar.xz
2023-02-16 08:29
2.1K
ppx-sexp-conv_0.15.1+really0.15.1-2build2.dsc
2023-02-16 08:29
2.3K
ppx-sexp-conv_0.15.1+really0.15.1.orig.tar.gz
2022-11-06 05:01
66K
ppx-sexp-conv_0.16.0-3.debian.tar.xz
2023-08-06 13:29
2.1K
ppx-sexp-conv_0.16.0-3.dsc
2023-08-06 13:29
2.0K
ppx-sexp-conv_0.16.0-3build2.debian.tar.xz
2024-02-16 13:54
2.1K
ppx-sexp-conv_0.16.0-3build2.dsc
2024-02-16 13:54
2.2K
ppx-sexp-conv_0.16.0.orig.tar.gz
2023-07-03 19:29
65K
ppx-sexp-conv_0.17.0-1build2.debian.tar.xz
2024-09-05 21:06
2.2K
ppx-sexp-conv_0.17.0-1build2.dsc
2024-09-05 21:06
2.2K
ppx-sexp-conv_0.17.0.orig.tar.gz
2024-07-06 01:40
67K
Apache/2.4.59 (Debian) Server at debian.ruhr-uni-bochum.de Port 443