{"bugs":[{"bugid":652016,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"dev-lang\/mlton Please set VARTEXFONTS=${T}\/fonts to prevent sandbox violations"}],"categories":[{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":393,"name":"dev-libs","summary":"The dev-libs category contains various miscellaneous programming libraries."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."},{"categoryid":343,"name":"sys-apps","summary":"The sys-apps category contains various core system applications, and some non-core system applications which have not yet been moved out into other sys- categories."},{"categoryid":396,"name":"virtual","summary":"The virtual category contains packages which satisfy virtual dependencies."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b1608c59f0a74bd9839ea3e188aa3b84d0b812ee","committime":"2024-09-10T01:48:52","packageid":44972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"eschwartz@gentoo.org","authorname":"Eli Schwartz","body":"It does something to mess with twelf's codegen. Assume it is too flaky\nto handle LTO.\n\nBug: https:\/\/bugs.gentoo.org\/863266\nSigned-off-by: Eli Schwartz ","commitid":"698e17aad2e95f56c53fc3139f45c03c33126edb","committime":"2024-09-09T04:20:48","packageid":44972,"repoid":1,"summary":"dev-lang\/mlton: mark as LTO-unsafe"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e817756739654c06c8a96e8fb68a3da1ba3af055","committime":"2024-04-30T18:48:55","packageid":44972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"watermanpaint@posteo.net","authorname":"Lucio Sauer","body":"bump copyright of touched ebuilds to 2024\n\nSigned-off-by: Lucio Sauer \nSigned-off-by: Michał Górny ","commitid":"794061a3298b5716db015defa7b3e2c583b73980","committime":"2024-04-12T10:47:52","packageid":44972,"repoid":1,"summary":"*\/*: inline mirror:\/\/sourceforge"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"154f663691ff0406bfb4ac87a978b07b0a611b07","committime":"2022-06-16T16:47:55","packageid":44972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"t@laumann.xyz","authorname":"Thomas Bracht Laumann Jespersen","body":"Signed-off-by: Thomas Bracht Laumann Jespersen \nSigned-off-by: Sam James ","commitid":"e4676e44adc3989dc9f9856e662ce9dfeb470a59","committime":"2022-06-08T07:57:28","packageid":44972,"repoid":1,"summary":"dev-lang\/mlton: fix unquoted variable S"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"24eff7a0e324f09f2733d5d2bb7dacecfcd13d3f","committime":"2021-07-01T09:36:47","packageid":44972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"marecki@gentoo.org","authorname":"Marek Szuba","body":"Signed-off-by: Marek Szuba ","commitid":"618b3e86e2b4078605f99fce1eefb08ac67ea5c9","committime":"2021-07-01T09:13:18","packageid":44972,"repoid":1,"summary":"*\/*: s\/pax_kernel\/pax-kernel\/g"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e8040cd11ff8f0208216d6d1392f0ca3dd0bc13d","committime":"2021-03-16T19:36:03","packageid":44972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"c9b5c10cc8dceeb1053ea6309098d5961df4b70b","committime":"2021-03-16T18:43:32","packageid":44972,"repoid":1,"summary":"dev-lang\/mlton: port to EAPI 7"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"87e90116bd4aba5aaa929160a49122929240c48d","committime":"2021-03-16T18:37:22","packageid":44972,"repoid":1,"summary":"dev-lang\/mlton: drop 20130715"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a8d907e4b2acb38467b494e36313788750592b3d","committime":"2020-02-11T17:48:59","packageid":44972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Update the copyright notice on all files that were touched since\nJanuary 1st but did not have the notice updated.\n\nSigned-off-by: Michał Górny ","commitid":"6568a730a830fd8a93b28162a01787600d19d307","committime":"2020-02-11T17:05:13","packageid":44972,"repoid":1,"summary":"*\/*: Bump copyright on files touched this year"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"99b1f3759b3bffd49a3533010c2f12b926fbcbdb","committime":"2020-02-08T17:26:32","packageid":44972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Signed-off-by: David Seifert ","commitid":"e0eab17c6c30159810523a3086894c179f2e61c6","committime":"2020-02-08T16:51:06","packageid":44972,"repoid":1,"summary":"dev-lang\/mlton: [QA] Fix UnnecessarySlashStrip"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"824dac76531dbf1a15c3b6ae4edadba511fe07b1","committime":"2019-12-11T12:45:54","packageid":44972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"* Since all ebuilds in the tree are EAPI>=4,\n `|| die` on builtin commands is redundant\n and dead code.\n\nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/13940\nReviewed-by: Ulrich Müller \nReviewed-by: Michał Górny \nReviewed-by: Andreas K. Hüttel \nSigned-off-by: David Seifert ","commitid":"398a42634f34afa1979d88ae1d8b38194e911c2d","committime":"2019-12-11T12:32:00","packageid":44972,"repoid":1,"summary":"*\/*: [QA] Remove redundant `|| die` guards"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"b1dd0a48807bae174b7989a1a901f739ac70290b","committime":"2018-03-11T00:06:29","packageid":44972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Fix 295112, thanks to flameeyes for reporting. Fix 581128, thanks to\nToralf Forster for reporting.\n\nCloses: https:\/\/bugs.gentoo.org\/295112\nCloses: https:\/\/bugs.gentoo.org\/581128\nPackage-Manager: Portage-2.3.24, Repoman-2.3.6","commitid":"41d92750d0948ebb53e6d0559ac7d1b378fecc9a","committime":"2018-03-10T23:43:42","packageid":44972,"repoid":1,"summary":"dev-lang\/mlton: Bump to 20180207, fix 295112 and 581128."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":44972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"Signed-off-by: Robin H. Johnson ","commitid":"61b861acd7b49083dab687e133f30f3331cb7480","committime":"2017-02-28T19:47:27","packageid":44972,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":44972,"repoid":1,"summary":"2015-08-09 09:26:21 UTC"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"This commit represents a new era for Gentoo:\nStoring the gentoo-x86 tree in Git, as converted from CVS.\n\nThis commit is the start of the NEW history.\nAny historical data is intended to be grafted onto this point.\n\nCreation process:\n1. Take final CVS checkout snapshot\n2. Remove ALL ChangeLog* files\n3. Transform all Manifests to thin\n4. Remove empty Manifests\n5. Convert all stale $Header$\/$Id$ CVS keywords to non-expanded Git $Id$\n5.1. Do not touch files with -kb\/-ko keyword flags.\n\nSigned-off-by: Robin H. Johnson \nX-Thanks: Alec Warner - did the GSoC 2006 migration tests\nX-Thanks: Robin H. Johnson - infra guy, herding this project\nX-Thanks: Nguyen Thai Ngoc Duy - Former Gentoo developer, wrote Git features for the migration\nX-Thanks: Brian Harring - wrote much python to improve cvs2svn\nX-Thanks: Rich Freeman - validation scripts\nX-Thanks: Patrick Lauer - Gentoo dev, running new 2014 work in migration\nX-Thanks: Michał Górny - scripts, QA, nagging\nX-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed","commitid":"56bd759df1d0c750a065b8c845e93d5dfa6b549d","committime":"2015-08-08T20:49:04","packageid":44972,"repoid":1,"summary":"proj\/gentoo: Initial commit"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a637bd65b7fef8e2be4e7fc6e9097479372e0e2e","committime":"2015-06-19T16:38:33","packageid":44972,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[{"block":false,"categoryid":450,"description":"Standard ML of New Jersey compiler and libraries","ebuildids":[50075],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"smlnj","packageid":47816,"summary":"Standard ML of New Jersey (abbreviated SML\/NJ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation. SML\/NJ is free, open source software."},{"block":false,"categoryid":396,"description":"Virtual for basic LaTeX binaries","ebuildids":[50075],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"tex@gentoo.org","maintainername":"Gentoo TeX Project","name":"latex-base","packageid":53059},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[50075],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512},{"block":false,"categoryid":343,"description":"Suite of tools to work with ELF objects on Hardened Gentoo","ebuildids":[50075],"firstseen":"2011-04-17T14:39:14.608756","maintainer":"blueness@gentoo.org","maintainername":"Anthony G. Basile","name":"elfix","packageid":57243}],"depending":[{"block":false,"categoryid":317,"description":"Implementation of the logical framework LF","ebuildids":[744510,744510],"firstseen":"2012-12-10T14:36:29.392811","maintainer":"gienah@gentoo.org","maintainername":"Mark Wright","name":"twelf","packageid":60110,"summary":"Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory."}],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":50075,"firstseen":"2018-03-11T00:12:08.368942","license":"HPND MIT","moddate":"2026-03-22T20:20:50","packageid":44972,"repoid":1,"slot":"0\/20180207","uses":["binary","bootstrap-smlnj","doc","pax-kernel","stage3"],"version":"20180207"}],"masks":[],"package":{"categoryid":450,"description":"Standard ML optimizing compiler and libraries","firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"mlton","packageid":44972},"rdependencies":[{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[50075],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["http:\/\/www.mlton.org"],"uses":[{"description":"install a binary version","isdefault":false,"packageid":44972,"use":"binary"},{"description":"Boostrap mlton with dev-lang\/smlnj (takes a long time)","isdefault":false,"packageid":44972,"use":"bootstrap-smlnj"},{"description":"Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally","isdefault":false,"use":"doc"},{"description":"Enable if the user plans to run the package under a pax enabled hardened kernel","isdefault":false,"packageid":44972,"use":"pax-kernel"},{"description":"After bootstrap building mlton with dev-lang\/smlnj, rebuild mlton with the second stage build of mlton (recommended).","isdefault":false,"packageid":44972,"use":"stage3"}]}