Index of /debian-ports/pool-x32/main/d/dune-localfunctions/

Name Size Date
📁 ../ - -
📄 dune-localfunctions_2.11.0-1_x32.buildinfo 8119 bytes 2026-02-07 06:03:02
📄 libdune-localfunctions-dev_2.11.0-1_x32.deb 131008 bytes 2026-02-07 06:03:02