/ubuntu/pool/universe/c/cryptominisat/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz5.6 KiB31.03.2024 18:36
cryptominisat_5.11.15+dfsg1-1.1build1.dsc2.6 KiB31.03.2024 18:36
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb81.1 KiB01.04.2024 03:47
cryptominisat_5.11.15+dfsg1.orig.tar.xz463.7 KiB14.12.2023 17:37
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz6.5 KiB03.05.2024 11:29
cryptominisat_5.11.21+dfsg1-1.dsc2.4 KiB03.05.2024 11:29
cryptominisat_5.11.21+dfsg1-1_amd64.deb91.5 KiB03.05.2024 12:05
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz6.5 KiB03.01.2025 14:35
cryptominisat_5.11.21+dfsg1-1build1.dsc2.4 KiB03.01.2025 14:36
cryptominisat_5.11.21+dfsg1-1build1_amd64.deb93.5 KiB03.01.2025 14:37
cryptominisat_5.11.21+dfsg1.orig.tar.xz470.2 KiB03.05.2024 11:29
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz6.1 KiB22.02.2022 23:24
cryptominisat_5.8.0+dfsg1-2.dsc2.4 KiB22.02.2022 23:24
cryptominisat_5.8.0+dfsg1-2_amd64.deb90.8 KiB22.02.2022 23:45
cryptominisat_5.8.0+dfsg1.orig.tar.xz440.7 KiB13.07.2020 17:24
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb436.8 KiB01.04.2024 03:47
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64.deb434.8 KiB03.05.2024 12:05
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_amd64.deb447.1 KiB03.01.2025 14:37
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb377.6 KiB22.02.2022 23:45
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb17.3 KiB01.04.2024 03:47
libcryptominisat5-dev_5.11.21+dfsg1-1_amd64.deb17.4 KiB03.05.2024 12:05
libcryptominisat5-dev_5.11.21+dfsg1-1build1_amd64.deb17.4 KiB03.01.2025 14:37
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb12.7 KiB22.02.2022 23:45
python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb513.6 KiB01.04.2024 03:47
python3-cryptominisat_5.11.21+dfsg1-1_amd64.deb511.7 KiB03.05.2024 12:05
python3-cryptominisat_5.11.21+dfsg1-1build1_amd64.deb608.4 KiB03.01.2025 14:37
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb19.1 KiB22.02.2022 23:45