summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/reason: drop old 3.7.0-r2Maciej Barć2022-06-282-40/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/reason: bump to 3.8.1Maciej Barć2022-06-282-0/+38
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/reason: bump to 3.8.0Maciej Barć2022-03-092-0/+38
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/reason: bump to 3.7.0_p20211014 (2021.10.14 snapshot)Maciej Barć2022-02-282-0/+41
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/reason: restrict to ocaml <4.13; bump to EAPI 8Maciej Barć2022-01-291-6/+12
| | | | | | Closes: https://bugs.gentoo.org/832338 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
| | | | | | Again. :( Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* dev-ml/reason: upstream moved repository - facebook -> reasonmlMaciej Barć2021-12-111-2/+2
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/reason: install missing rtop subpackage and small docsMaciej Barć2021-12-081-0/+7
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/reason: newest version is on the MIT licenseMaciej Barć2021-12-081-1/+1
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/reason: new package; add version 3.7.0Maciej Barć2021-12-083-0/+44
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/*: Remove first set of unneeded leaf packagesMichał Górny2020-01-143-43/+0
| | | | | Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-5/+2
| | | | | Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-1/+1
|
* dev-ml/reason: update to opam.eclassAlexis Ballier2017-08-061-11/+3
| | | | Package-Manager: Portage-2.3.6, Repoman-2.3.3
* dev-ml/reason: remove oldAlexis Ballier2017-06-033-62/+0
| | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2
* dev-ml/reason: bump to 2.0.0Alexis Ballier2017-06-032-0/+43
| | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2
* dev-ml/reason: remove oldAlexis Ballier2017-05-303-86/+0
| | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2
* dev-ml/reason: backport upstream fix for latest utopAlexis Ballier2017-05-302-0/+19
| | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2
* dev-ml/reason: bump to 1.13.5Alexis Ballier2017-05-022-0/+43
| | | | Package-Manager: Portage-2.3.5, Repoman-2.3.2
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-291-5/+8
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* dev-ml/reason: bump to 1.13.4Alexis Ballier2017-04-202-0/+43
| | | | Package-Manager: Portage-2.3.5, Repoman-2.3.2
* dev-ml/reason: Initial import. Ebuild by me.Alexis Ballier2017-04-013-0/+51
Package-Manager: Portage-2.3.5, Repoman-2.3.2