Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/mercury/Manifest
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/mercury: drop 20.06-r1, 20.06.1, 22.01Volkmar W. Pogatzki2024-06-081-6/+0
* dev-lang/mercury: gcc 12 vectorization workaroundKeri Harris2022-06-251-1/+1
* dev-lang/mercury: fix MCC file-options unit testKeri Harris2022-05-211-1/+1
* dev-lang/mercury: version bumpKeri Harris2022-05-151-0/+2
* dev-lang/mercury: version bumpKeri Harris2022-05-141-0/+2
* dev-lang/mercury: version bumpKeri Harris2021-10-031-0/+2
* dev-lang/mercury: avoid using cygpath references when building GCKeri Harris2021-10-031-1/+1
* dev-lang/mercury: allow mercury to compile with GCC 11Keri Harris2021-07-311-1/+1
* dev-lang/mercury: remove old versionsKeri Harris2021-01-181-8/+0
* dev-lang/mercury: disable foreign_import_module testsKeri Harris2021-01-061-1/+1
* dev-lang/mercury: version bumpKeri Harris2020-09-131-0/+2
* dev-lang/mercury: respect -fno-common. Closes #727156Keri Harris2020-07-251-1/+1
* dev-lang/mercury: version bumpKeri Harris2020-07-191-0/+2
* dev-lang/mercury: version bumpKeri Harris2020-04-011-0/+2
* dev-lang/mercury: version bumpKeri Harris2020-03-291-0/+2
* dev-lang/mercury: support Mercury GC compiled using muslKeri Harris2020-03-211-1/+1
* dev-lang/mercury: fix libdir in mmc/mmake scriptsKeri Harris2018-10-281-1/+1
* dev-lang/mercury: remove old versionsKeri Harris2018-10-271-4/+0
* dev-lang/mercury: fix mmc erlang grade determinationKeri Harris2018-07-211-1/+1
* dev-lang/mercury: do not use csc as mercury C# compilerKeri Harris2018-07-171-1/+1
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-6/+6
* dev-lang/mercury: use Mmake.params to specify CFLAGS/LDFLAGSKeri Harris2017-10-011-1/+1
* dev-lang/mercury: version bumpKeri Harris2017-09-301-0/+2
* dev-lang/mercury: fix failing foreign-decl-line-number unit test due to GCC d...Keri Harris2017-09-261-1/+1
* dev-lang/mercury: version bumpKeri Harris2017-09-261-0/+2
* dev-lang/mercury: remove old versionsKeri Harris2017-09-251-16/+0
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+18