Index of /trisquel/packages/pool/main/c/cryptominisat/


../
cryptominisat_5.11.15+dfsg1-1.1build1.debian.ta..> 31-Mar-2024 18:36    5720
cryptominisat_5.11.15+dfsg1-1.1build1.dsc          31-Mar-2024 18:36    2621
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb    01-Apr-2024 03:47     81K
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb    02-Apr-2024 01:07     77K
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb    02-Apr-2024 01:08     77K
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb  02-Apr-2024 05:02     84K
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb  03-Apr-2024 21:11     84K
cryptominisat_5.11.15+dfsg1-1build2.debian.tar.xz  30-Mar-2024 00:18    5508
cryptominisat_5.11.15+dfsg1-1build2.dsc            30-Mar-2024 00:18    2469
cryptominisat_5.11.15+dfsg1-1build2_amd64.deb      30-Mar-2024 00:33     81K
cryptominisat_5.11.15+dfsg1-1build2_arm64.deb      30-Mar-2024 00:45     77K
cryptominisat_5.11.15+dfsg1-1build2_armhf.deb      30-Mar-2024 00:53     77K
cryptominisat_5.11.15+dfsg1-1build2_ppc64el.deb    30-Mar-2024 01:10     84K
cryptominisat_5.11.15+dfsg1-1build2_riscv64.deb    30-Mar-2024 01:18     84K
cryptominisat_5.11.15+dfsg1.orig.tar.xz            14-Dec-2023 17:37    464K
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz          22-Feb-2022 23:24    6264
cryptominisat_5.8.0+dfsg1-2.dsc                    22-Feb-2022 23:24    2408
cryptominisat_5.8.0+dfsg1-2_amd64.deb              22-Feb-2022 23:45     91K
cryptominisat_5.8.0+dfsg1-2_arm64.deb              22-Feb-2022 23:45     87K
cryptominisat_5.8.0+dfsg1-2_armhf.deb              22-Feb-2022 23:45     87K
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb            22-Feb-2022 23:46     97K
cryptominisat_5.8.0+dfsg1.orig.tar.xz              13-Jul-2020 17:24    441K
libcryptominisat5-5.11_5.11.15+dfsg1-1build2_am..> 30-Mar-2024 00:33    436K
libcryptominisat5-5.11_5.11.15+dfsg1-1build2_ar..> 30-Mar-2024 00:45    425K
libcryptominisat5-5.11_5.11.15+dfsg1-1build2_ar..> 30-Mar-2024 00:53    500K
libcryptominisat5-5.11_5.11.15+dfsg1-1build2_pp..> 30-Mar-2024 01:10    489K
libcryptominisat5-5.11_5.11.15+dfsg1-1build2_ri..> 30-Mar-2024 01:18    572K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 01-Apr-2024 03:47    437K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 01:07    425K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 01:08    510K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 05:02    492K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 03-Apr-2024 21:11    573K
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb      22-Feb-2022 23:45    378K
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb      22-Feb-2022 23:45    366K
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb      22-Feb-2022 23:45    416K
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb    22-Feb-2022 23:46    462K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 03:47     17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:07     17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:08     17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 05:02     17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_r..> 03-Apr-2024 21:11     17K
libcryptominisat5-dev_5.11.15+dfsg1-1build2_amd..> 30-Mar-2024 00:33     17K
libcryptominisat5-dev_5.11.15+dfsg1-1build2_arm..> 30-Mar-2024 00:45     17K
libcryptominisat5-dev_5.11.15+dfsg1-1build2_arm..> 30-Mar-2024 00:53     17K
libcryptominisat5-dev_5.11.15+dfsg1-1build2_ppc..> 30-Mar-2024 01:10     17K
libcryptominisat5-dev_5.11.15+dfsg1-1build2_ris..> 30-Mar-2024 01:18     17K
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb      22-Feb-2022 23:45     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb      22-Feb-2022 23:45     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb      22-Feb-2022 23:45     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb    22-Feb-2022 23:46     13K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 03:47    514K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:07    507K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:08    512K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 05:02    620K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_r..> 03-Apr-2024 21:11    593K
python3-cryptominisat_5.11.15+dfsg1-1build2_amd..> 30-Mar-2024 00:33    514K
python3-cryptominisat_5.11.15+dfsg1-1build2_arm..> 30-Mar-2024 00:45    508K
python3-cryptominisat_5.11.15+dfsg1-1build2_arm..> 30-Mar-2024 00:53    512K
python3-cryptominisat_5.11.15+dfsg1-1build2_ppc..> 30-Mar-2024 01:10    613K
python3-cryptominisat_5.11.15+dfsg1-1build2_ris..> 30-Mar-2024 01:18    593K
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb      22-Feb-2022 23:45     19K
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb      22-Feb-2022 23:45     19K
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb      22-Feb-2022 23:45     18K
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb    22-Feb-2022 23:46     20K