Index of /ubuntu/pool/universe/c/cryptominisat/

../
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz          21-Mar-2025 18:15                6188
cryptominisat_5.8.0+dfsg1-1.dsc                    21-Mar-2025 18:15                2408
cryptominisat_5.8.0+dfsg1-1_amd64.deb              21-Mar-2025 18:15               96608
cryptominisat_5.8.0+dfsg1-1build2.debian.tar.xz    21-Mar-2025 18:15                6296
cryptominisat_5.8.0+dfsg1-1build2.dsc              21-Mar-2025 18:15                2432
cryptominisat_5.8.0+dfsg1-1build2_amd64.deb        21-Mar-2025 18:15               87672
cryptominisat_5.8.0+dfsg1.orig.tar.xz              21-Mar-2025 18:15              451304
libcryptominisat5-5.8_5.8.0+dfsg1-1_amd64.deb      21-Mar-2025 18:15              429124
libcryptominisat5-5.8_5.8.0+dfsg1-1build2_amd64..> 21-Mar-2025 18:15              415976
libcryptominisat5-dev_5.8.0+dfsg1-1_amd64.deb      21-Mar-2025 18:15               12912
libcryptominisat5-dev_5.8.0+dfsg1-1build2_amd64..> 21-Mar-2025 18:15               12920
python3-cryptominisat_5.8.0+dfsg1-1_amd64.deb      21-Mar-2025 18:15               18240
python3-cryptominisat_5.8.0+dfsg1-1build2_amd64..> 21-Mar-2025 18:15               18280