Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | multiple move to EAPI=5 and regression fixes | Jonathan-Christofer Demay | 2014-06-22 | 1 | -15/+8 |
* | multiple version bumps | Jonathan-Christofer Demay | 2014-06-22 | 1 | -7/+15 |
* | sci-mathematics/alt-ergo: version bump | Andrew Savchenko | 2013-08-25 | 1 | -2/+1 |
* | big fixes of metadata and package sub-herd re-distribution | Sébastien Fabbro | 2013-06-18 | 1 | -15/+8 |
* | sci-mathematics/alt-ergo: Move to EAPI=5; clean quoting and ebuild syntax and... | Justin Lecher | 2013-03-03 | 1 | -9/+9 |
* | sci-mathematics/alt-ergo: initial commit | Jonathan-Christofer Demay | 2013-01-14 | 1 | -0/+19 |