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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cryptominisat_5.8.0+dfsg1-2.dsc2.4 KiB2022-Feb-22 23:24
cryptominisat_5.11.4+dfsg1-2build1.dsc2.4 KiB2022-Dec-25 20:25
cryptominisat_5.11.21+dfsg1-1.dsc2.4 KiB2024-May-03 11:29
cryptominisat_5.11.15+dfsg1-1.1build1.dsc2.6 KiB2024-Mar-31 18:36
cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz5.3 KiB2022-Dec-25 20:25
cryptominisat_5.11.15+dfsg1-1.1build1.debian.ta..>5.6 KiB2024-Mar-31 18:36
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz6.1 KiB2022-Feb-22 23:24
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz6.5 KiB2024-May-03 11:29
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb12.7 KiB2022-Feb-22 23:45
libcryptominisat5-dev_5.11.4+dfsg1-2build1_amd6..>16.9 KiB2022-Dec-25 20:26
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..>17.3 KiB2024-Apr-01 03:47
libcryptominisat5-dev_5.11.21+dfsg1-1_amd64.deb17.4 KiB2024-May-03 12:05
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb19.1 KiB2022-Feb-22 23:45
cryptominisat_5.11.4+dfsg1-2build1_amd64.deb77.8 KiB2022-Dec-25 20:26
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb81.1 KiB2024-Apr-01 03:47
cryptominisat_5.8.0+dfsg1-2_amd64.deb90.8 KiB2022-Feb-22 23:45
cryptominisat_5.11.21+dfsg1-1_amd64.deb91.5 KiB2024-May-03 12:05
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb377.6 KiB2022-Feb-22 23:45
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_amd..>431.5 KiB2022-Dec-25 20:26
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64..>434.8 KiB2024-May-03 12:05
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..>436.8 KiB2024-Apr-01 03:47
cryptominisat_5.8.0+dfsg1.orig.tar.xz440.7 KiB2020-Jul-13 17:24
cryptominisat_5.11.15+dfsg1.orig.tar.xz463.7 KiB2023-Dec-14 17:37
cryptominisat_5.11.21+dfsg1.orig.tar.xz470.2 KiB2024-May-03 11:29
python3-cryptominisat_5.11.21+dfsg1-1_amd64.deb511.7 KiB2024-May-03 12:05
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..>513.6 KiB2024-Apr-01 03:47
cryptominisat_5.11.4+dfsg1.orig.tar.xz517.8 KiB2022-Nov-06 03:16
python3-cryptominisat_5.11.4+dfsg1-2build1_amd6..>517.8 KiB2022-Dec-25 20:26