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

NameLast ModifiedSizeType
../ -  Directory
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz2024-Mar-31 14:36:445.6Kapplication/octet-stream
cryptominisat_5.11.15+dfsg1-1.1build1.dsc2024-Mar-31 14:36:442.5Kapplication/octet-stream
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb2024-Mar-31 23:47:0381.1Kapplication/octet-stream
cryptominisat_5.11.15+dfsg1.orig.tar.xz2023-Dec-14 12:37:25463.7Kapplication/octet-stream
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz2024-May-03 07:29:036.4Kapplication/octet-stream
cryptominisat_5.11.21+dfsg1-1.dsc2024-May-03 07:29:032.4Kapplication/octet-stream
cryptominisat_5.11.21+dfsg1-1_amd64.deb2024-May-03 08:05:1491.4Kapplication/octet-stream
cryptominisat_5.11.21+dfsg1.orig.tar.xz2024-May-03 07:29:03470.2Kapplication/octet-stream
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz2022-Feb-22 18:24:366.1Kapplication/octet-stream
cryptominisat_5.8.0+dfsg1-2.dsc2022-Feb-22 18:24:362.3Kapplication/octet-stream
cryptominisat_5.8.0+dfsg1-2_amd64.deb2022-Feb-22 18:45:1790.8Kapplication/octet-stream
cryptominisat_5.8.0+dfsg1.orig.tar.xz2020-Jul-13 13:24:37440.7Kapplication/octet-stream
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb2024-Mar-31 23:47:03436.8Kapplication/octet-stream
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64.deb2024-May-03 08:05:14434.7Kapplication/octet-stream
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb2022-Feb-22 18:45:17377.6Kapplication/octet-stream
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb2024-Mar-31 23:47:0317.3Kapplication/octet-stream
libcryptominisat5-dev_5.11.21+dfsg1-1_amd64.deb2024-May-03 08:05:1417.3Kapplication/octet-stream
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb2022-Feb-22 18:45:1712.6Kapplication/octet-stream
python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb2024-Mar-31 23:47:03513.6Kapplication/octet-stream
python3-cryptominisat_5.11.21+dfsg1-1_amd64.deb2024-May-03 08:05:14511.7Kapplication/octet-stream
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb2022-Feb-22 18:45:1719.1Kapplication/octet-stream