Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/mlton
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/mlton: add github upstream metadataEli Schwartz2024-09-091-0/+1
* dev-lang/mlton: mark as LTO-unsafeEli Schwartz2024-09-091-1/+5
* */*: inline mirror://sourceforgeLucio Sauer2024-04-301-2/+2
* dev-lang/mlton: use <pkg> tags in metadata.xmlPetr Vaněk2022-08-261-2/+2
* dev-lang/mlton: fix unquoted variable SThomas Bracht Laumann Jespersen2022-06-161-2/+2
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* */*: s/pax_kernel/pax-kernel/gMarek Szuba2021-07-012-4/+4
* dev-lang/mlton: remove unused patchesMichael Mair-Keimberger2021-03-193-106/+0
* dev-lang/mlton: port to EAPI 7Sam James2021-03-161-5/+8
* dev-lang/mlton: drop 20130715Sam James2021-03-162-122/+0
* */*: Bump copyright on files touched this yearMichał Górny2020-02-111-1/+1
* dev-lang/mlton: [QA] Fix UnnecessarySlashStripDavid Seifert2020-02-081-2/+2
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
* */*: [QA] Remove redundant `|| die` guardsDavid Seifert2019-12-111-5/+5
* dev-lang/mlton: Bump to 20180207, fix 295112 and 581128.Mark Wright2018-03-116-4/+322
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-3/+3
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-086-0/+240