projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 328d04d) | patch
dev-lang/mlton: Bump to 20180207, fix 295112 and 581128.
authorMark Wright <gienah@gentoo.org>
Sat, 10 Mar 2018 23:43:42 +0000 (10:43 +1100)
committerMark Wright <gienah@gentoo.org>
Sat, 10 Mar 2018 23:43:42 +0000 (10:43 +1100)
commit41d92750d0948ebb53e6d0559ac7d1b378fecc9a
tree6dc7385c4c6a28327d59d396f6f704d08d4c70c5tree | snapshot
parent328d04de903ca76d3a6bf134280e08b79ffb626ecommit | diff
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 diff | blob | history
dev-lang/mlton/files/mlton-20180207-bootstrap.patch [new file with mode: 0644] blob
dev-lang/mlton/files/mlton-20180207-paxmark.patch [new file with mode: 0644] blob
dev-lang/mlton/metadata.xml diff | blob | history
dev-lang/mlton/mlton-20130715.ebuild diff | blob | history
dev-lang/mlton/mlton-20180207.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.