Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | */*: [QA] Remove redundant `|| die` guards | David Seifert | 2019-12-11 | 1 | -21/+21 |
* | dev-lang/mercury-extras: fix compilation with _FORTIFY_SOURCE | Keri Harris | 2019-04-15 | 1 | -2/+2 |
* | dev-lang/mercury-extras: x86 stable (bug #648224) | Thomas Deutschmann | 2018-09-10 | 1 | -1/+1 |
* | dev-lang/mercury-extras: filter out csharp grades | Keri Harris | 2018-09-03 | 1 | -1/+1 |
* | dev-lang/mercury-extras: fix precedence of mercury-pkgs | Keri Harris | 2018-07-17 | 1 | -1/+1 |
* | dev-lang/mercury-extras: amd64 stable wrt bug #648224 | Agostino Sarubbo | 2018-03-07 | 1 | -2/+2 |
* | dev-lang/mercury-extras: version bump | Keri Harris | 2017-09-30 | 1 | -0/+199 |