Index of /ubuntu-ports/pool/universe/m/minisat+/

/ubuntu-ports/pool/universe/m/minisat+/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minisat+_1.0-2.debian.tar.gz3.9 KiB2011-11-12T09:20Z
minisat+_1.0-2.dsc1.2 KiB2011-11-12T09:20Z
minisat+_1.0-2_arm64.deb172.0 KiB2013-10-20T06:28Z
minisat+_1.0-2_armhf.deb140.8 KiB2011-12-07T13:04Z
minisat+_1.0-2_powerpc.deb169.3 KiB2011-11-13T07:03Z
minisat+_1.0-2_ppc64el.deb147.3 KiB2014-02-19T10:28Z
minisat+_1.0-2_s390x.deb147.0 KiB2015-12-05T01:47Z
minisat+_1.0-4.debian.tar.xz4.1 KiB2017-04-29T23:58Z
minisat+_1.0-4.dsc1.9 KiB2017-04-29T23:58Z
minisat+_1.0-4_arm64.deb131.6 KiB2017-04-30T02:36Z
minisat+_1.0-4_armhf.deb122.3 KiB2017-04-30T02:37Z
minisat+_1.0-4_ppc64el.deb146.1 KiB2017-04-30T01:30Z
minisat+_1.0-4_s390x.deb146.2 KiB2017-04-30T01:32Z
minisat+_1.0-4build1.debian.tar.xz4.2 KiB2020-03-22T17:10Z
minisat+_1.0-4build1.dsc2.0 KiB2020-03-22T17:10Z
minisat+_1.0-4build1_arm64.deb123.6 KiB2020-03-22T20:56Z
minisat+_1.0-4build1_armhf.deb116.9 KiB2020-03-22T20:56Z
minisat+_1.0-4build1_ppc64el.deb146.4 KiB2020-03-22T21:18Z
minisat+_1.0-4build1_riscv64.deb137.0 KiB2020-04-03T10:14Z
minisat+_1.0-4build1_s390x.deb155.1 KiB2020-03-22T20:31Z
minisat+_1.0-5.debian.tar.xz4.3 KiB2024-10-31T19:11Z
minisat+_1.0-5.dsc1.9 KiB2024-10-31T19:11Z
minisat+_1.0-5_arm64.deb153.5 KiB2024-10-31T21:11Z
minisat+_1.0-5_armhf.deb144.1 KiB2024-10-31T21:20Z
minisat+_1.0-5_ppc64el.deb169.0 KiB2024-11-01T01:09Z
minisat+_1.0-5_riscv64.deb163.7 KiB2024-11-01T12:36Z
minisat+_1.0-5_s390x.deb189.2 KiB2024-10-31T21:34Z
minisat+_1.0.orig.tar.gz78.1 KiB2011-11-12T09:20Z

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

cube github