Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/why3
Commit message (Expand)AuthorAgeFilesLines
* drop autotools.eclassChristoph Junghans2014-09-152-1/+4
* sci-mathematics/why3: silence repoman, fix metadata.xmlJauhien Piatlicki2014-09-021-0/+4
* fix Manifests: thin-manifestsJauhien Piatlicki2014-08-311-3/+0
* Fix manifests regressionJonathan-Christofer Demay2014-07-191-0/+3
* Several DESTDIR fixesJonathan-Christofer Demay2014-07-192-6/+4
* multiple move to EAPI=5 and regression fixesJonathan-Christofer Demay2014-06-223-22/+16
* multiple version bumpsJonathan-Christofer Demay2014-06-224-0/+89