Index of /pool/universe/m/minisat+
Name
Last modified
Size
Description
Parent Directory
-
minisat+-dbgsym_1.0-2_amd64.ddeb
2011-11-12 08:18
808K
minisat+-dbgsym_1.0-2_arm64.ddeb
2013-10-20 06:22
674K
minisat+-dbgsym_1.0-2_armhf.ddeb
2011-12-07 12:10
755K
minisat+-dbgsym_1.0-2_i386.ddeb
2011-11-12 08:25
729K
minisat+-dbgsym_1.0-2_powerpc.ddeb
2015-03-03 00:04
564K
minisat+-dbgsym_1.0-2_ppc64el.ddeb
2014-02-19 10:25
654K
minisat+-dbgsym_1.0-2_s390x.ddeb
2015-12-05 02:53
568K
minisat+-dbgsym_1.0-4_amd64.ddeb
2017-04-30 03:33
835K
minisat+-dbgsym_1.0-4_arm64.ddeb
2017-04-30 03:07
821K
minisat+-dbgsym_1.0-4_armhf.ddeb
2017-04-30 03:07
792K
minisat+-dbgsym_1.0-4_i386.ddeb
2017-04-30 03:33
789K
minisat+-dbgsym_1.0-4_ppc64el.ddeb
2017-04-30 03:22
842K
minisat+-dbgsym_1.0-4_s390x.ddeb
2017-04-30 03:23
900K
minisat+-dbgsym_1.0-4build1_amd64.ddeb
2020-03-22 19:45
1.0M
minisat+-dbgsym_1.0-4build1_arm64.ddeb
2020-03-23 00:19
1.0M
minisat+-dbgsym_1.0-4build1_armhf.ddeb
2020-03-23 00:19
967K
minisat+-dbgsym_1.0-4build1_ppc64el.ddeb
2020-03-23 00:04
1.0M
minisat+-dbgsym_1.0-4build1_riscv64.ddeb
2020-04-18 19:10
916K
minisat+-dbgsym_1.0-4build1_s390x.ddeb
2020-03-23 00:43
1.2M
Apache/2.4.29 (Ubuntu) Server at ddebs.ubuntu.com Port 80