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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cryptominisat_5.11.15+dfsg1-1.1build1.debian.ta..> 572031-Mar-2024 18:36
cryptominisat_5.11.15+dfsg1-1.1build1.dsc 262131-Mar-2024 18:36
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb 77K02-Apr-2024 01:07
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb 77K02-Apr-2024 01:08
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb 84K02-Apr-2024 05:02
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb 84K03-Apr-2024 21:11
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb 83K02-Apr-2024 11:03
cryptominisat_5.11.15+dfsg1.orig.tar.xz 464K14-Dec-2023 17:37
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz 662003-May-2024 11:29
cryptominisat_5.11.21+dfsg1-1.dsc 249803-May-2024 11:29
cryptominisat_5.11.21+dfsg1-1_arm64.deb 84K05-May-2024 17:38
cryptominisat_5.11.21+dfsg1-1_armhf.deb 86K09-May-2024 11:31
cryptominisat_5.11.21+dfsg1-1_ppc64el.deb 93K03-May-2024 12:05
cryptominisat_5.11.21+dfsg1-1_riscv64.deb 94K05-May-2024 11:18
cryptominisat_5.11.21+dfsg1-1_s390x.deb 93K03-May-2024 12:40
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz 670403-Jan-2025 14:35
cryptominisat_5.11.21+dfsg1-1build1.dsc 249703-Jan-2025 14:36
cryptominisat_5.11.21+dfsg1-1build1_arm64.deb 85K03-Jan-2025 14:37
cryptominisat_5.11.21+dfsg1-1build1_armhf.deb 87K03-Jan-2025 14:38
cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb 94K03-Jan-2025 14:39
cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb 94K03-Jan-2025 18:35
cryptominisat_5.11.21+dfsg1-1build1_s390x.deb 95K03-Jan-2025 14:40
cryptominisat_5.11.21+dfsg1.orig.tar.xz 470K03-May-2024 11:29
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 626422-Feb-2022 23:24
cryptominisat_5.8.0+dfsg1-2.dsc 240822-Feb-2022 23:24
cryptominisat_5.8.0+dfsg1-2_arm64.deb 87K22-Feb-2022 23:45
cryptominisat_5.8.0+dfsg1-2_armhf.deb 87K22-Feb-2022 23:45
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 97K22-Feb-2022 23:46
cryptominisat_5.8.0+dfsg1-2_riscv64.deb 94K23-Feb-2022 02:29
cryptominisat_5.8.0+dfsg1-2_s390x.deb 88K22-Feb-2022 23:46
cryptominisat_5.8.0+dfsg1.orig.tar.xz 441K13-Jul-2020 17:24
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 425K02-Apr-2024 01:07
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 510K02-Apr-2024 01:08
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 492K02-Apr-2024 05:02
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 573K03-Apr-2024 21:11
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 497K02-Apr-2024 11:03
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64..> 426K05-May-2024 17:38
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf..> 501K09-May-2024 11:31
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64..> 490K03-May-2024 12:05
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv..> 572K05-May-2024 11:18
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x..> 495K03-May-2024 12:40
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 439K03-Jan-2025 14:37
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 510K03-Jan-2025 14:38
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 499K03-Jan-2025 14:39
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 580K03-Jan-2025 18:35
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 501K03-Jan-2025 14:40
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb 366K22-Feb-2022 23:45
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb 416K22-Feb-2022 23:45
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb 462K22-Feb-2022 23:46
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb 449K23-Feb-2022 02:29
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb 365K22-Feb-2022 23:46
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 17K02-Apr-2024 01:07
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 17K02-Apr-2024 01:08
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_p..> 17K02-Apr-2024 05:02
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_r..> 17K03-Apr-2024 21:11
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s..> 17K02-Apr-2024 11:03
libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb 17K05-May-2024 17:38
libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb 17K09-May-2024 11:31
libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb 17K03-May-2024 12:05
libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb 17K05-May-2024 11:18
libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb 17K03-May-2024 12:40
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> 17K03-Jan-2025 14:37
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> 17K03-Jan-2025 14:38
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc..> 17K03-Jan-2025 14:39
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ris..> 17K03-Jan-2025 18:35
libcryptominisat5-dev_5.11.21+dfsg1-1build1_s39..> 17K03-Jan-2025 14:40
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb 13K22-Feb-2022 23:45
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb 13K22-Feb-2022 23:45
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb 13K22-Feb-2022 23:46
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb 13K23-Feb-2022 02:29
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb 13K22-Feb-2022 23:46
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 507K02-Apr-2024 01:07
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 512K02-Apr-2024 01:08
python3-cryptominisat_5.11.15+dfsg1-1.1build1_p..> 620K02-Apr-2024 05:02
python3-cryptominisat_5.11.15+dfsg1-1.1build1_r..> 593K03-Apr-2024 21:11
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s..> 580K02-Apr-2024 11:03
python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb 508K05-May-2024 17:38
python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb 511K09-May-2024 11:31
python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb 613K03-May-2024 12:05
python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb 592K05-May-2024 11:18
python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb 573K03-May-2024 12:40
python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> 565K03-Jan-2025 14:37
python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> 571K03-Jan-2025 14:38
python3-cryptominisat_5.11.21+dfsg1-1build1_ppc..> 669K03-Jan-2025 14:39
python3-cryptominisat_5.11.21+dfsg1-1build1_ris..> 653K03-Jan-2025 18:35
python3-cryptominisat_5.11.21+dfsg1-1build1_s39..> 621K03-Jan-2025 14:40
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb 19K22-Feb-2022 23:45
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb 18K22-Feb-2022 23:45
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 20K22-Feb-2022 23:46
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb 19K23-Feb-2022 02:29
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb 19K22-Feb-2022 23:46

Welcome to Ubuntu Taiwan LoCo Team (ubuntu-tw) / OSS Planet Mirror Server

Empowering Open Source: Free Hosting for a Free World We are open, we love freedom. Free Hosting for Open Projects. Join the movement. #JustGoOpen

If you're seeking a mirror, please contact us. OSSPlanet
We support HTTP, HTTPS, FTP, Rsync, and Tor .onion site.

We operate mirror servers in multiple regions to better serve our users:

Choose the server closest to your location for optimal performance!

Highlights

ubuntu/
Ubuntu archive repository for APT sources.list
ubuntu-cdimage/
Mirror of http://cdimage.ubuntu.com/
ubuntu-cloud-images/
Mirror of https://cloud-images.ubuntu.com/
ubuntu-ports/
Ubuntu APT source repo for non-x86. (ARM, etc). Mirror of http://ports.ubuntu.com/
ubuntu-releases/
Installation CD/DVD image.
mirror-ubuntu.sh
If you want to mirror ubuntu/ to your server, download this script and run it 4 times a day with cron. (0 */6 * * *)
/ and /mirror/
All mirror repos. (Apache, CPAN, GNU, Kernel, LDP, Mozilla, other Linux distro, hosting, etc)

Services

Taiwan Servers (Asia)

HTTP
HTTPS
FTP

Note on FTP: While we currently support FTP, we will be dropping support in the future as the protocol is being phased out industry-wide. We recommend using HTTPS or Rsync instead.

Rsync

Finland Servers (Europe)

HTTP
HTTPS
Rsync

Network and Infrastructure

Taiwan Server (Primary Asia Mirror)

Server
mirror.ossplanet.net
Sponsored by
National Chi Nan University
Network
TWAREN Academic Network
Features
  • 100Gbps backbone with multiple optical segments
  • 12 GigaPOPs across Taiwan
  • International connectivity to major exchanges
Network Documentation

Finland Server (Primary Europe Mirror)

Server
mirror.fi.ossplanet.net
Sponsored by
Matthew Lien (BlueT)
Infrastructure
Hetzner Datacenter
Features
  • Multi-redundant network connections
  • Peering at major European exchanges
  • High-performance infrastructure
Network Documentation

Data handling and privacy policy

  1. IP addresses and Logs will be saved for troubleshooting, abuse, and statistical purposes.
  2. Only few of our system administrators have access to the log files.
  3. Our infrastructure and network providers could have other logging.

Limits

Contact

Admin: BlueT - Matthew Lien - 練喆明
Email: apply at ossplanet dot net AND bluet at bluet dot org