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: fix mercury lib search paths. Closes #715838Keri Harris2020-04-021-2/+2
* dev-lang/mercury-extras: version bumpKeri Harris2020-04-012-0/+319
* dev-lang/mercury-extras: version bumpKeri Harris2020-03-293-0/+322
* dev-lang/mercury-extras: TCL+curses compile-time fixesKeri Harris2020-03-212-2/+2
* dev-lang/mercury-extras: fix ml compatibility with 17.1 profilesKeri Harris2020-03-212-6/+6
* dev-lang/mercury-extras: [QA] inherit vcs-clean.eclass directlyDavid Seifert2020-02-121-2/+2
* */*: [QA] Remove redundant `|| die` guardsDavid Seifert2019-12-111-21/+21
* dev-lang/mercury-extras: fix compilation with _FORTIFY_SOURCEKeri Harris2019-04-152-3/+3
* dev-lang/mercury-extras: remove old versionsKeri Harris2018-10-273-400/+0
* dev-lang/mercury-extras: x86 stable (bug #648224)Thomas Deutschmann2018-09-101-1/+1
* dev-lang/mercury-extras: filter out csharp gradesKeri Harris2018-09-032-2/+2
* dev-lang/mercury-extras: fix precedence of mercury-pkgsKeri Harris2018-07-171-1/+1
* 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