/debian-ports/pool-m68k/main/p/ppxlib/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
ppxlib_0.35.0-1_m68k.buildinfo	6.2 KiB	12.02.2025 18:03
libppxlib-ocaml-dev_0.35.0-1_m68k.deb	16.5 MiB	12.02.2025 18:03
libppxlib-ocaml-dev-dbgsym_0.35.0-1_m68k.deb	25.3 KiB	12.02.2025 18:03