Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/mercury
Commit message (Expand)AuthorAgeFilesLines
* 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