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
/
kodkod
Commit message (
Expand
)
Author
Age
Files
Lines
*
Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify t...
Mark Wright
2014-06-22
1
-6
/
+6
*
Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify t...
Mark Wright
2014-06-22
2
-4
/
+16
*
Fix bug 458462 - sci-mathematics/kodkod-1.5.2: fails to build with JAVA_PKG_S...
Mark Wright
2014-02-11
1
-6
/
+6
*
Fix bug 458462 - sci-mathematics/kodkod-1.5.2: fails to build with JAVA_PKG_S...
Mark Wright
2014-02-11
2
-5
/
+36
*
Fix bug 453162 - workaround Java 7 Changes in Most Specific Varargs Method Se...
Mark Wright
2013-02-02
1
-9
/
+6
*
Fix bug 453162 - workaround Java 7 Changes in Most Specific Varargs Method Se...
Mark Wright
2013-02-02
3
-4
/
+40
*
Fix invalid metadata.
Diego Elio Pettenò
2013-01-20
1
-5
/
+9
*
Fix invalid metadata.
Diego Elio Pettenò
2013-01-20
2
-3
/
+6
*
Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-ma...
Mark Wright
2012-12-05
1
-1
/
+12
*
Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-ma...
Mark Wright
2012-12-05
4
-0
/
+133