Index of /ubuntu-ports/pool/universe/p/ppx-tools/

/ubuntu-ports/pool/universe/p/ppx-tools/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libppx-tools-ocaml-dev_0.99.2-4_arm64.deb294.7 KiB05 Nov 2015 20:29:52 +0000
libppx-tools-ocaml-dev_0.99.2-4_armhf.deb294.6 KiB05 Nov 2015 20:29:55 +0000
libppx-tools-ocaml-dev_0.99.2-4_powerpc.deb289.7 KiB05 Nov 2015 20:29:59 +0000
libppx-tools-ocaml-dev_0.99.2-4_ppc64el.deb257.4 KiB05 Nov 2015 20:30:01 +0000
libppx-tools-ocaml-dev_0.99.2-4_s390x.deb257.3 KiB05 Jan 2016 12:15:25 +0000
libppx-tools-ocaml-dev_5.0+4.05.0-1_arm64.deb511.8 KiB27 Oct 2017 21:55:48 +0000
libppx-tools-ocaml-dev_5.0+4.05.0-1_armhf.deb507.5 KiB27 Oct 2017 21:56:06 +0000
libppx-tools-ocaml-dev_5.0+4.05.0-1_ppc64el.deb512.1 KiB27 Oct 2017 21:56:15 +0000
libppx-tools-ocaml-dev_5.0+4.05.0-1_s390x.deb508.7 KiB27 Oct 2017 21:56:18 +0000
libppx-tools-ocaml-dev_5.3+4.08.0-1_arm64.deb592.9 KiB15 Feb 2020 19:48:17 +0000
libppx-tools-ocaml-dev_5.3+4.08.0-1_armhf.deb588.7 KiB15 Feb 2020 19:48:17 +0000
libppx-tools-ocaml-dev_5.3+4.08.0-1_ppc64el.deb591.7 KiB15 Feb 2020 19:48:18 +0000
libppx-tools-ocaml-dev_5.3+4.08.0-1_riscv64.deb540.3 KiB05 Apr 2020 02:44:08 +0000
libppx-tools-ocaml-dev_5.3+4.08.0-1_s390x.deb588.6 KiB15 Feb 2020 19:48:18 +0000
libppx-tools-ocaml-dev_6.4-1build1_arm64.deb15.3 MiB25 Jan 2022 12:30:10 +0000
libppx-tools-ocaml-dev_6.4-1build1_armhf.deb5.6 MiB25 Jan 2022 12:30:14 +0000
libppx-tools-ocaml-dev_6.4-1build1_ppc64el.deb13.3 MiB25 Jan 2022 12:30:20 +0000
libppx-tools-ocaml-dev_6.4-1build1_riscv64.deb12.4 MiB25 Jan 2022 12:49:08 +0000
libppx-tools-ocaml-dev_6.4-1build1_s390x.deb12.9 MiB25 Jan 2022 12:30:31 +0000
libppx-tools-ocaml-dev_6.6-4build1_arm64.deb15.7 MiB03 Nov 2023 01:15:16 +0000
libppx-tools-ocaml-dev_6.6-4build1_armhf.deb5.9 MiB03 Nov 2023 01:15:18 +0000
libppx-tools-ocaml-dev_6.6-4build1_ppc64el.deb13.7 MiB03 Nov 2023 01:15:20 +0000
libppx-tools-ocaml-dev_6.6-4build1_riscv64.deb13.5 MiB03 Nov 2023 00:35:26 +0000
libppx-tools-ocaml-dev_6.6-4build1_s390x.deb13.2 MiB03 Nov 2023 01:15:25 +0000
ppx-tools_0.99.2-4.debian.tar.xz2.9 KiB23 Oct 2015 22:40:39 +0000
ppx-tools_0.99.2-4.dsc2.0 KiB23 Oct 2015 22:40:40 +0000
ppx-tools_0.99.2.orig.tar.gz15.5 KiB23 Oct 2015 22:40:39 +0000
ppx-tools_5.0+4.05.0-1.debian.tar.xz2.4 KiB27 Oct 2017 21:55:11 +0000
ppx-tools_5.0+4.05.0-1.dsc2.0 KiB27 Oct 2017 21:55:10 +0000
ppx-tools_5.0+4.05.0.orig.tar.gz17.5 KiB27 Oct 2017 21:55:11 +0000
ppx-tools_5.3+4.08.0-1.debian.tar.xz2.4 KiB05 Nov 2019 17:19:38 +0000
ppx-tools_5.3+4.08.0-1.dsc1.8 KiB05 Nov 2019 17:19:38 +0000
ppx-tools_5.3+4.08.0.orig.tar.gz18.2 KiB05 Nov 2019 17:19:38 +0000
ppx-tools_6.4-1build1.debian.tar.xz2.6 KiB25 Jan 2022 12:29:40 +0000
ppx-tools_6.4-1build1.dsc2.0 KiB25 Jan 2022 12:29:40 +0000
ppx-tools_6.4.orig.tar.bz217.5 KiB19 Nov 2021 17:34:14 +0000
ppx-tools_6.6-4build1.debian.tar.xz2.6 KiB02 Nov 2023 23:55:30 +0000
ppx-tools_6.6-4build1.dsc2.0 KiB02 Nov 2023 23:55:30 +0000
ppx-tools_6.6.orig.tar.gz18.8 KiB04 Feb 2023 23:47:52 +0000