summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/mercury: fix libdir in mmc/mmake scriptsKeri Harris2018-10-282-2/+2
* dev-lang/mercury: remove old versionsKeri Harris2018-10-273-405/+0
* dev-lang/mercury: do not build dvi/pdf documentation. Closes #575140Keri Harris2018-10-231-2/+7
* dev-lang/mercury: x86 stable (bug #648224)Thomas Deutschmann2018-09-101-1/+1
* dev-lang/mercury: fixes for x86 grades using global registersKeri Harris2018-09-091-0/+9
* dev-lang/mercury: fix mmc erlang grade determinationKeri Harris2018-07-212-2/+2
* dev-lang/mercury: keep java/csharp module directoriesKeri Harris2018-07-191-0/+8
* dev-lang/mercury: do not use csc as mercury C# compilerKeri Harris2018-07-172-2/+2
* dev-lang/mercury: handle spaces in mercury PARALLEL argsKeri Harris2018-07-163-14/+14
* dev-lang/mercury: amd64 stable wrt bug #648224Agostino Sarubbo2018-03-071-2/+2
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-6/+6
* dev-lang/mercury: Links to libnsl, so add dependencyAndreas K. Hüttel2017-11-032-0/+2
* dev-lang/mercury: use Mmake.params to specify CFLAGS/LDFLAGSKeri Harris2017-10-012-18/+16
* dev-lang/mercury: do not allow the Mercury compiler to pre-strip binaries whi...Keri Harris2017-09-301-1/+2
* dev-lang/mercury: version bumpKeri Harris2017-09-303-0/+206
* dev-lang/mercury: fix failing foreign-decl-line-number unit test due to GCC d...Keri Harris2017-09-262-2/+2
* dev-lang/mercury: version bumpKeri Harris2017-09-262-0/+204
* dev-lang/mercury: remove old versionsKeri Harris2017-09-257-1261/+0
* dev-lang/mercury: fix XDG_xxx_DIR sandbox issue. Bug #575140Keri Harris2017-09-251-1/+3
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-287-7/+0
* dev-lang/mercury: x86 stable wrt bug #605126Agostino Sarubbo2017-01-231-1/+1
* dev-lang/mercury: amd64 stable wrt bug #605126Agostino Sarubbo2017-01-231-2/+2
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
* dev-lang/mercury: Use ecvs_clean to clean workdirJustin Lecher2016-01-228-49/+42
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-0810-0/+1488