/debian-ports/pool-x32/main/p/ppx-optcomp/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
libppx-optcomp-ocaml-dev_0.17.0-1_x32.deb	192.9 KiB	18.06.2024 00:03
libppx-optcomp-ocaml_0.17.0-1_x32.deb	82.4 KiB	18.06.2024 00:03
ppx-optcomp_0.17.0-1_x32.buildinfo	6.3 KiB	18.06.2024 00:03