Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/reason
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/reason: bump to 3.8.0Maciej Barć2022-03-092-0/+38
* dev-ml/reason: bump to 3.7.0_p20211014 (2021.10.14 snapshot)Maciej Barć2022-02-282-0/+41
* dev-ml/reason: restrict to ocaml <4.13; bump to EAPI 8Maciej Barć2022-01-291-6/+12
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
* dev-ml/reason: upstream moved repository - facebook -> reasonmlMaciej Barć2021-12-111-2/+2
* dev-ml/reason: install missing rtop subpackage and small docsMaciej Barć2021-12-081-0/+7
* dev-ml/reason: newest version is on the MIT licenseMaciej Barć2021-12-081-1/+1
* dev-lang/reason: new package; add version 3.7.0Maciej Barć2021-12-083-0/+44
* dev-ml/*: Remove first set of unneeded leaf packagesMichał Górny2020-01-143-43/+0
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-5/+2
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-1/+1
* dev-ml/reason: update to opam.eclassAlexis Ballier2017-08-061-11/+3
* dev-ml/reason: remove oldAlexis Ballier2017-06-033-62/+0
* dev-ml/reason: bump to 2.0.0Alexis Ballier2017-06-032-0/+43
* dev-ml/reason: remove oldAlexis Ballier2017-05-303-86/+0
* dev-ml/reason: backport upstream fix for latest utopAlexis Ballier2017-05-302-0/+19
* dev-ml/reason: bump to 1.13.5Alexis Ballier2017-05-022-0/+43
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-291-5/+8
* dev-ml/reason: bump to 1.13.4Alexis Ballier2017-04-202-0/+43
* dev-ml/reason: Initial import. Ebuild by me.Alexis Ballier2017-04-013-0/+51