| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-lang/mercury: remove old versions |   Keri Harris | 2018-10-27 | 1 | -198/+0 |
| * | dev-lang/mercury: handle spaces in mercury PARALLEL args | Keri Harris | 2018-07-16 | 1 | -5/+5 |
| * | dev-lang/mercury: do not allow the Mercury compiler to pre-strip binaries whi... | Keri Harris | 2017-09-30 | 1 | -1/+2 |
| * | dev-lang/mercury: fix failing foreign-decl-line-number unit test due to GCC d... | Keri Harris | 2017-09-26 | 1 | -1/+1 |
| * | dev-lang/mercury: fix XDG_xxx_DIR sandbox issue. Bug #575140 | Keri Harris | 2017-09-25 | 1 | -1/+3 |
| * | Drop $Id$ per council decision in bug #611234. |   Robin H. Johnson | 2017-02-28 | 1 | -1/+0 |
| * | dev-lang/mercury: x86 stable wrt bug #605126 |   Agostino Sarubbo | 2017-01-23 | 1 | -1/+1 |
| * | dev-lang/mercury: amd64 stable wrt bug #605126 | Agostino Sarubbo | 2017-01-23 | 1 | -2/+2 |
| * | dev-lang/mercury: Use ecvs_clean to clean workdir |   Justin Lecher | 2016-01-22 | 1 | -6/+5 |
| * | proj/gentoo: Initial commit | Robin H. Johnson | 2015-08-08 | 1 | -0/+197 |
GitWeb