Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/alt-ergo
Commit message (Expand)AuthorAgeFilesLines
* Second try to clean spaces in metadata.xmlJustin Lecher2017-11-181-5/+5
* Consistently ident with tabsJustin Lecher2017-11-181-5/+5
* Drop leftover from CVS in HEADERJustin Lecher2017-02-251-1/+0
* sci-mathematics/alt-ergo: Drop ~x86 keywordMarius Brehler2016-06-151-2/+2
* metadata.xml: Set typeJustin Lecher2016-01-251-1/+1
* metadata.xml: convert hard -> projJustin Lecher2016-01-251-1/+4
* Drop ChangeLogs in favour of commit messagesJustin Lecher2016-01-071-23/+0
* sci-mathematics/alt-ergo: Add subslot operatorsJustin Lecher2015-09-212-10/+13
* Convert all $Header$ to $Id$ tags as it has be done in gentoo.gitJustin Lecher2015-08-172-2/+2
* Revert "Gentoo does https by default now"Justin Lecher2015-06-211-1/+1
* Gentoo does https by default nowJustin Lecher2015-06-211-1/+1
* 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