Index of /debian-ports/pool-hppa/main/p/ppx-optcomp/

../
libppx-optcomp-ocaml-dev_0.17.0-1+b8_hppa.deb      24-Mar-2025 12:03              281600
libppx-optcomp-ocaml_0.17.0-1+b8_hppa.deb          24-Mar-2025 12:03               91232
ppx-optcomp_0.17.0-1+b8_hppa.buildinfo             24-Mar-2025 12:03                6838