Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/smlnj
Commit message (Collapse)AuthorAgeFilesLines
* */*: Bump copyright on files touched this yearMichał Górny2020-02-111-1/+1
| | | | | | | Update the copyright notice on all files that were touched since January 1st but did not have the notice updated. Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-lang/smlnj: [QA] Fix UnnecessarySlashStripDavid Seifert2020-02-081-2/+2
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* dev-lang/smlnj: Drop oldMichał Górny2019-12-152-134/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
| | | | | Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: [QA] Remove redundant `|| die` guardsDavid Seifert2019-12-111-2/+2
| | | | | | | | | | | | * Since all ebuilds in the tree are EAPI>=4, `|| die` on builtin commands is redundant and dead code. Closes: https://github.com/gentoo/gentoo/pull/13940 Reviewed-by: Ulrich Müller <ulm@gentoo.org> Reviewed-by: Michał Górny <mgorny@gentoo.org> Reviewed-by: Andreas K. Hüttel <dilfridge@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-lang/smlnj: Bump to 110.82, fix install dirs, build on pax kernels.Mark Wright2018-03-116-0/+579
| | | | | | | | | | | | | | | | | Bump to 110.82, fixes 487064 , thanks to Keshav Kini and OGINO Masanori for reporting. Install to the smlnj subdirectory underneath the 32 bit lib directory if it exists, or the 64 bit lib directory otherwise, and create symlinks in /usr/bin to point to the executables. Fixes 248162, thanks to flameeyes for reporting, xmv and hkbst for helping. Fix build on pax kernels, fixes 564132, thanks to Fedja Beader for reporting. Closes: https://bugs.gentoo.org/487064 Closes: https://bugs.gentoo.org/248162 Closes: https://bugs.gentoo.org/564132 Package-Manager: Portage-2.3.24, Repoman-2.3.6
* 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
| | | | Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
* 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
| | | | | Replace all uses of herd with appropriate project maintainers, or no maintainers in case of herds requested to be disbanded.
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
| | | | | | | repoman does not yet accept the https version. This partially reverts eaaface92ee81f30a6ac66fe7acbcc42c00dc450. Bug: https://bugs.gentoo.org/552720
* Use https by defaultJustin Lecher2015-08-241-1/+1
| | | | | | Convert all URLs for sites supporting encrypted connections from http to https Signed-off-by: Justin Lecher <jlec@gentoo.org>
* proj/gentoo: Initial commitRobin H. Johnson2015-08-083-0/+140
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed