aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* AltGr-Ergo (GUI of Alt-Ergo) installation command was added.Denis V. Buzdalov2014-11-141-0/+1
* clean upChristoph Junghans2014-09-162-9/+9
* fix Manifests: thin-manifestsJauhien Piatlicki2014-08-311-3/+0
* alt-ergo/alt-ergo-0.95.2: fix gui buildingJonathan-Christofer Demay2014-07-202-2/+4
* Fix manifests regressionJonathan-Christofer Demay2014-07-191-0/+3
* Several DESTDIR fixesJonathan-Christofer Demay2014-07-192-5/+2
* multiple move to EAPI=5 and regression fixesJonathan-Christofer Demay2014-06-224-28/+30
* multiple version bumpsJonathan-Christofer Demay2014-06-224-42/+41
* sci-mathematics/alt-ergo: fix bug #479994: move sources to my dev spaceJauhien Piatlicki2014-06-163-4/+11
* Sanitize ebuild headerJustin Lecher2014-01-301-1/+1
* sci-mathematics/alt-ergo: version bumpAndrew Savchenko2013-08-254-4/+10
* big fixes of metadata and package sub-herd re-distributionSĂ©bastien Fabbro2013-06-181-15/+8
* sci-mathematics/alt-ergo: Move to EAPI=5; clean quoting and ebuild syntax and...Justin Lecher2013-03-034-27/+26
* sci-mathematics/alt-ergo: initial commitJonathan-Christofer Demay2013-01-144-0/+70