Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/smlnj
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/smlnj: fix makeAlfredo Tupone2024-06-041-3/+14
* dev-lang/smlnj: fix makefileAlfredo Tupone2024-06-041-0/+12
* dev-lang/smlnj: fix makefileAlfredo Tupone2024-06-042-1/+16
* dev-lang/smlnj: remove unused patch(es)Michael Mair-Keimberger2024-05-301-10/+0
* dev-lang/smlnj: bump to 110.99.5Maciej Barć2024-05-262-0/+179
* dev-lang/smlnj: drop old 110.99.3Maciej Barć2024-05-262-179/+0
* dev-lang/smlnj: bump to 110.99.4Maciej Barć2023-08-052-0/+177
* dev-lang/smlnj: better makefile fixAlfredo Tupone2023-01-261-5/+3
* dev-lang/smlnj: fix makefileAlfredo Tupone2023-01-232-1/+15
* dev-lang/smlnj: drop 110.82, 110.99.2, EAPI-6--Andreas Sturmlechner2022-08-297-756/+0
* dev-lang/smlnj: bump to 110.99.3Maciej Barć2022-07-292-0/+177
* dev-lang/smlnj: patch smlnj_get_libdir functionMaciej Barć2022-06-281-1/+1
* dev-lang/smlnj: fix asdl autoconf scriptMaciej Barć2022-03-191-0/+4
* dev-lang/smlnj: fix base/runtime/objs/makefileMaciej Barć2022-03-181-1/+6
* dev-lang/smlnj: call correct ARMaciej Barć2022-03-181-0/+1
* dev-lang/smlnj: replace sed delimeterMaciej Barć2022-01-042-13/+13
* dev-lang/smlnj: move unpack script to src_unpack; fix nmMaciej Barć2021-12-021-2/+4
* dev-lang/smlnj: add longdescriptionMaciej Barć2021-12-021-0/+5
* dev-lang/smlnj: add smlnj back to the Gentoo ML ProjectMaciej Barć2021-12-011-5/+9
* dev-lang/smlnj: bump to 110.99.2Maciej Barć2021-12-012-0/+165
* **/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/smlnj: eutils->epatchSam James2021-04-181-2/+2
* */*: Bump copyright on files touched this yearMichał Górny2020-02-111-1/+1
* dev-lang/smlnj: [QA] Fix UnnecessarySlashStripDavid Seifert2020-02-081-2/+2
* dev-lang/smlnj: Drop oldMichał Górny2019-12-152-134/+0
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
* */*: [QA] Remove redundant `|| die` guardsDavid Seifert2019-12-111-2/+2
* dev-lang/smlnj: Bump to 110.82, fix install dirs, build on pax kernels.Mark Wright2018-03-116-0/+579
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-22/+22
* 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-083-0/+140