Index of /by-release/atomic/debian/m/minisat2
Name
Last modified
Size
Description
Parent Directory
-
minisat2_070721-2.patch-basis
2008-06-17 13:18
9
minisat2_070721-3.patch-basis
2008-06-18 23:16
9
minisat2_070721-5.patch-basis
2008-09-08 01:10
9
minisat2_070721-6.patch-basis
2008-11-01 14:15
9
minisat2_070721-7.patch-basis
2009-12-29 17:22
9
minisat2_070721-7.patch.bz2
2009-12-29 17:22
2.3K
minisat2_070721-8.patch-basis
2009-12-29 17:22
9
minisat2_070721-8.patch.bz2
2009-12-29 17:22
476
minisat2_1:2.2.0-1.patch-basis
2010-07-25 10:33
9
minisat2_1:2.2.0-1.patch.bz2
2010-07-25 10:33
52K
minisat2_1:2.2.0-2.patch-basis
2010-07-26 10:39
10
minisat2_1:2.2.0-2.patch.bz2
2010-07-26 10:39
5.1K
minisat2_1:2.2.0-3.patch-basis
2011-01-21 06:57
10
minisat2_1:2.2.0-3.patch.bz2
2011-01-21 06:57
54K
minisat2_1:2.2.1-1.patch-basis
2011-03-29 19:45
10
minisat2_1:2.2.1-1.patch.bz2
2011-03-29 19:45
56K
minisat2_1:2.2.1-2.patch-basis
2011-06-13 17:55
10
minisat2_1:2.2.1-2.patch.bz2
2011-06-13 17:55
736
minisat2_1:2.2.1-3.patch-basis
2011-09-04 04:55
10
minisat2_1:2.2.1-3.patch.bz2
2011-09-04 04:55
2.7K
minisat2_1:2.2.1-4.patch-basis
2013-07-13 04:07
10
minisat2_1:2.2.1-4.patch.bz2
2013-07-13 04:07
5.0K
minisat2_1:2.2.1-5.patch-basis
2014-07-30 17:16
10
minisat2_1:2.2.1-5.patch.bz2
2014-07-30 17:16
6.1K
minisat2_1:2.2.1-6.patch-basis
2024-02-20 17:09
10
minisat2_1:2.2.1-6.patch.bz2
2024-02-20 17:09
1.6K
minisat2_1:2.2.1-7.patch-basis
2024-02-22 16:07
10
minisat2_1:2.2.1-7.patch.bz2
2024-02-22 16:07
1.3K
minisat2_1:2.2.1-8.patch-basis
2024-02-26 22:47
10
minisat2_1:2.2.1-8.patch.bz2
2024-02-26 22:47
470
patches.xml
2024-02-26 23:08
2.9K
Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443