Index of /debian-ports/pool-alpha/main/f/flint/

Name Size Date
📁 ../ - -
📄 flint_3.4.0-1_alpha.buildinfo 9403 bytes 2025-11-27 12:03:01
📄 libflint-dev_3.4.0-1_alpha.deb 244000 bytes 2025-11-27 12:03:01
📄 libflint22-dbgsym_3.4.0-1_alpha.deb 16188588 bytes 2025-11-27 12:03:02
📄 libflint22_3.4.0-1_alpha.deb 4444484 bytes 2025-11-27 12:03:02