aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* fix Manifests: thin-manifestsJauhien Piatlicki2014-08-311-3/+0
|
* alt-ergo/alt-ergo-0.95.2: fix gui buildingJonathan-Christofer Demay2014-07-201-1/+1
|
* Fix manifests regressionJonathan-Christofer Demay2014-07-191-0/+3
|
* Several DESTDIR fixesJonathan-Christofer Demay2014-07-191-3/+0
|
* multiple move to EAPI=5 and regression fixesJonathan-Christofer Demay2014-06-221-4/+4
|
* multiple version bumpsJonathan-Christofer Demay2014-06-221-1/+4
|
* sci-mathematics/alt-ergo: fix bug #479994: move sources to my dev spaceJauhien Piatlicki2014-06-161-1/+1
|
* sci-mathematics/alt-ergo: version bumpAndrew Savchenko2013-08-251-1/+1
| | | | | | - version bump for a patch release 0.95.1; - remove old and fix bug 479994 (wrong metadata for 0.95); - cleanup metadata (there is no figure there).
* sci-mathematics/alt-ergo: Move to EAPI=5; clean quoting and ebuild syntax ↵Justin Lecher2013-03-031-3/+0
| | | | | | and indention Package-Manager: portage-2.2.0_alpha164
* sci-mathematics/alt-ergo: initial commitJonathan-Christofer Demay2013-01-141-0/+4