Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/mercury-extras/Manifest
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/mercury-extras: fix compile of netdb with muslKeri Harris2022-05-221-1/+1
* dev-lang/mercury-extras: version bumpKeri Harris2022-05-151-0/+2
* dev-lang/mercury-extras: version bumpKeri Harris2022-05-141-0/+2
* dev-lang/mercury-extras: version bumpKeri Harris2021-10-031-0/+2
* dev-lang/mercury-extras: remove old versionsKeri Harris2021-01-181-8/+0
* dev-lang/mercury-extras: version bumpKeri Harris2020-09-131-0/+2
* dev-lang/mercury-extras: support libressl in mopenssl Mercury packageKeri Harris2020-07-261-1/+1
* dev-lang/mercury-extras: version bumpKeri Harris2020-07-191-0/+2
* dev-lang/mercury-extras: version bumpKeri Harris2020-04-011-0/+2
* dev-lang/mercury-extras: version bumpKeri Harris2020-03-291-0/+2
* dev-lang/mercury-extras: TCL+curses compile-time fixesKeri Harris2020-03-211-1/+1
* dev-lang/mercury-extras: fix ml compatibility with 17.1 profilesKeri Harris2020-03-211-1/+1
* dev-lang/mercury-extras: fix compilation with _FORTIFY_SOURCEKeri Harris2019-04-151-1/+1
* dev-lang/mercury-extras: remove old versionsKeri Harris2018-10-271-4/+0
* dev-lang/mercury-extras: filter out csharp gradesKeri Harris2018-09-031-1/+1
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-6/+6
* dev-lang/mercury-extras: version bumpKeri Harris2017-09-301-0/+2
* dev-lang/mercury-extras: filter out java+erlang grades for Mercury packages t...Keri Harris2017-09-281-1/+1
* dev-lang/mercury-extras: filter out java+erlang grades for Mercury packages t...Keri Harris2017-09-271-1/+1
* dev-lang/mercury-extras: filter out java+erlang grades for Mercury packages t...Keri Harris2017-09-271-1/+1
* dev-lang/mercury-extras: support building mercury_tcltk library with Tcl/Tk 8.6Keri Harris2017-09-261-1/+1
* dev-lang/mercury-extras: version bumpKeri Harris2017-09-261-0/+2
* dev-lang/mercury-extras: remove old versionsKeri Harris2017-09-251-12/+0
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+14