GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
archive/repo/gentoo-2.git
RELEASE-1_4
import-1.1.1
master
Another conversion of the historical gentoo-x86 ebuild repository
Ulrich Müller <ulm@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
/
minisat
Commit message (
Expand
)
Author
Age
Files
Lines
*
QA: drop trailing '.' from DESCRIPTION
Sergei Trofimovich
2014-08-10
1
-7
/
+7
*
QA: drop trailing '.' from DESCRIPTION
Sergei Trofimovich
2014-08-10
3
-8
/
+12
*
Drop maintainer due retirement, #24135.
Pacho Ramos
2012-10-07
1
-8
/
+18
*
Drop maintainer due retirement, #24135.
Pacho Ramos
2012-10-07
2
-6
/
+5
*
whitespace
Michael Sterrett
2011-04-18
1
-1
/
+1
*
whitespace
Michael Sterrett
2011-04-18
1
-2
/
+2
*
Updated and added previous version and missing patch (doh!)
Steve Arnold
2011-04-17
1
-2
/
+5
*
Updated and added previous version and missing patch (doh!)
Steve Arnold
2011-04-17
4
-3
/
+276
*
Updated to reoroganize headers one last time to fix package collision and
Steve Arnold
2011-04-16
1
-14
/
+2
*
Updated to reoroganize headers one last time to fix package collision and
Steve Arnold
2011-04-16
2
-9
/
+27
*
Remove IUSE='prof' since it only adds -pg to flags, simplify 'if' logic, fix ...
Kacper Kowalik
2011-04-10
1
-3
/
+15
*
Remove IUSE='prof' since it only adds -pg to flags, simplify 'if' logic, fix ...
Kacper Kowalik
2011-04-10
4
-88
/
+82
*
Updated include files to proper directory structure.
Steve Arnold
2011-04-10
1
-2
/
+2
*
Updated include files to proper directory structure.
Steve Arnold
2011-04-10
2
-6
/
+14
*
Updated to include MTL header files apps that need them.
Steve Arnold
2011-04-09
1
-2
/
+2
*
Updated to include MTL header files apps that need them.
Steve Arnold
2011-04-09
2
-3
/
+10
*
New ebuild for minisat, a small fast SAT solver. Look it up... ;)
Steve Arnold
2011-04-09
1
-0
/
+5
*
New ebuild for minisat, a small fast SAT solver. Look it up... ;)
Steve Arnold
2011-04-09
3
-0
/
+105