ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/c/cryptominisat/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cryptominisat_5.8.0+dfsg1-2.dsc 240823-Feb-2022 03:24
cryptominisat_5.11.4+dfsg1-3.dsc 245915-Jul-2023 09:38
cryptominisat_5.11.4+dfsg1-2build1.dsc 246226-Dec-2022 00:25
cryptominisat_5.11.15+dfsg1-1.1build1.dsc 262131-Mar-2024 22:36
cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz 543626-Dec-2022 00:25
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz 572031-Mar-2024 22:36
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 626423-Feb-2022 03:24
cryptominisat_5.11.4+dfsg1-3.debian.tar.xz 674815-Jul-2023 09:38
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb 13K23-Feb-2022 03:45
libcryptominisat5-dev_5.11.4+dfsg1-2build1_amd64.deb 17K26-Dec-2022 00:26
libcryptominisat5-dev_5.11.4+dfsg1-3_amd64.deb 17K15-Jul-2023 09:39
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb 17K01-Apr-2024 07:47
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb 19K23-Feb-2022 03:45
cryptominisat_5.11.4+dfsg1-2build1_amd64.deb 78K26-Dec-2022 00:26
cryptominisat_5.11.4+dfsg1-3_amd64.deb 79K15-Jul-2023 09:39
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb 81K01-Apr-2024 07:47
cryptominisat_5.8.0+dfsg1-2_amd64.deb 91K23-Feb-2022 03:45
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb 378K23-Feb-2022 03:45
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_amd64.deb 432K26-Dec-2022 00:26
libcryptominisat5-5.11_5.11.4+dfsg1-3_amd64.deb 435K15-Jul-2023 09:39
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb 437K01-Apr-2024 07:47
cryptominisat_5.8.0+dfsg1.orig.tar.xz 441K13-Jul-2020 21:24
cryptominisat_5.11.15+dfsg1.orig.tar.xz 464K14-Dec-2023 21:37
python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb 514K01-Apr-2024 07:47
cryptominisat_5.11.4+dfsg1.orig.tar.xz 518K06-Nov-2022 07:16
python3-cryptominisat_5.11.4+dfsg1-2build1_amd64.deb 518K26-Dec-2022 00:26
python3-cryptominisat_5.11.4+dfsg1-3_amd64.deb 522K15-Jul-2023 09:39