Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/alt-ergo/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/alt-ergo: drop packageAisha Tammy2020-09-211-15/+0
* Second try to clean spaces in metadata.xmlJustin Lecher2017-11-181-5/+5
* Consistently ident with tabsJustin Lecher2017-11-181-5/+5
* metadata.xml: Set typeJustin Lecher2016-01-251-1/+1
* metadata.xml: convert hard -> projJustin Lecher2016-01-251-1/+4
* sci-mathematics/alt-ergo: Add subslot operatorsJustin Lecher2015-09-211-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
* multiple move to EAPI=5 and regression fixesJonathan-Christofer Demay2014-06-221-15/+8
* multiple version bumpsJonathan-Christofer Demay2014-06-221-7/+15
* sci-mathematics/alt-ergo: version bumpAndrew Savchenko2013-08-251-2/+1
* 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-031-9/+9
* sci-mathematics/alt-ergo: initial commitJonathan-Christofer Demay2013-01-141-0/+19