Summary: | dev-lang/mlton: documentation installed outside /usr/share/doc/${PF} | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Diego Elio Pettenò (RETIRED) <flameeyes> |
Component: | New packages | Assignee: | Gentoo Team for the ML programming language family <ml> |
Status: | RESOLVED FIXED | ||
Severity: | minor | ||
Priority: | High | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
Diego Elio Pettenò (RETIRED)
2009-11-29 21:49:09 UTC
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=41d92750d0948ebb53e6d0559ac7d1b378fecc9a commit 41d92750d0948ebb53e6d0559ac7d1b378fecc9a Author: Mark Wright <gienah@gentoo.org> AuthorDate: 2018-03-10 23:43:42 +0000 Commit: Mark Wright <gienah@gentoo.org> CommitDate: 2018-03-10 23:43:42 +0000 dev-lang/mlton: Bump to 20180207, fix 295112 and 581128. Fix 295112, thanks to flameeyes for reporting. Fix 581128, thanks to Toralf Forster for reporting. Closes: https://bugs.gentoo.org/295112 Closes: https://bugs.gentoo.org/581128 Package-Manager: Portage-2.3.24, Repoman-2.3.6 dev-lang/mlton/Manifest | 2 + .../mlton/files/mlton-20180207-bootstrap.patch | 27 +++ dev-lang/mlton/files/mlton-20180207-paxmark.patch | 18 ++ dev-lang/mlton/metadata.xml | 9 +- dev-lang/mlton/mlton-20130715.ebuild | 6 +- dev-lang/mlton/mlton-20180207.ebuild | 264 +++++++++++++++++++++ 6 files changed, 322 insertions(+), 4 deletions(-) |