| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/alt-ergo: drop package |   Aisha Tammy | 2020-09-21 | 1 | -15/+0 |
| | | | | | | | | | present in ::gentoo Package-Manager: Portage-3.0.7, Repoman-3.0.1 RepoMan-Options: --force Signed-off-by: Aisha Tammy <gentoo@aisha.cc> | ||||
| * | Second try to clean spaces in metadata.xml |   Justin Lecher | 2017-11-18 | 1 | -5/+5 |
| | | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | Consistently ident with tabs | Justin Lecher | 2017-11-18 | 1 | -5/+5 |
| | | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | metadata.xml: Set type | Justin Lecher | 2016-01-25 | 1 | -1/+1 |
| | | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | metadata.xml: convert hard -> proj | Justin Lecher | 2016-01-25 | 1 | -1/+4 |
| | | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | sci-mathematics/alt-ergo: Add subslot operators | Justin Lecher | 2015-09-21 | 1 | -2/+2 |
| | | | | | | Package-Manager: portage-2.2.20.1 Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | Revert "Gentoo does https by default now" | Justin Lecher | 2015-06-21 | 1 | -1/+1 |
| | | | | | This reverts commit 98718494343af4990facdefb0033471686e975a6. | ||||
| * | Gentoo does https by default now | Justin Lecher | 2015-06-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Justin Lecher <jlec@gentoo.org> | ||||
| * | 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 |
| | | | | | | | - 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). | ||||
| * | 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 ↵ | Justin Lecher | 2013-03-03 | 1 | -9/+9 |
| | | | | | | | and indention Package-Manager: portage-2.2.0_alpha164 | ||||
| * | sci-mathematics/alt-ergo: initial commit | Jonathan-Christofer Demay | 2013-01-14 | 1 | -0/+19 |
GitWeb