gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-08 18:27:07 -08:00
Code Issues Projects Releases Wiki Activity
Files
e2fac3cedaac95ae80f663dfd390288a977f4bd6
gentoo/dev-lang/mlton
T
History
Michael Mair-Keimberger e48894c0e8 dev-lang/mlton: remove unused patches 
Package-Manager: Portage-3.0.17, Repoman-3.0.2
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/19978
Signed-off-by: Joonas Niilola <juippis@gentoo.org>
2021-03-19 09:28:42 +02:00
..
files
dev-lang/mlton: remove unused patches
2021-03-19 09:28:42 +02:00
Manifest
…
metadata.xml
…
mlton-20180207.ebuild
…