Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/mercury-extras
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/mercury-extras: amd64 stable wrt bug #648224Agostino Sarubbo2018-03-071-2/+2
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-6/+6
* dev-lang/mercury-extras: version bumpKeri Harris2017-09-302-0/+201
* dev-lang/mercury-extras: filter out java+erlang grades for Mercury packages t...Keri Harris2017-09-282-2/+2
* dev-lang/mercury-extras: filter out java+erlang grades for Mercury packages t...Keri Harris2017-09-272-2/+2
* dev-lang/mercury-extras: filter out java+erlang grades for Mercury packages t...Keri Harris2017-09-272-2/+2
* dev-lang/mercury-extras: virtual/glu is a dependency of the Mercury OpenGL li...Keri Harris2017-09-262-4/+14
* dev-lang/mercury-extras: support building mercury_tcltk library with Tcl/Tk 8.6Keri Harris2017-09-262-2/+2
* dev-lang/mercury-extras: version bumpKeri Harris2017-09-262-0/+195
* dev-lang/mercury-extras: remove old versionsKeri Harris2017-09-257-1169/+0
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-287-7/+0
* dev-lang/mercury-extras: x86 stable wrt bug #605126Agostino Sarubbo2017-01-231-1/+1
* dev-lang/mercury-extras: 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
* 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-089-0/+1379