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: drop old 3.12.0Maciej Barć2024-12-012-43/+0
* dev-ml/reason: bump to 3.14.0Maciej Barć2024-12-012-0/+45
* dev-ml/reason: drop old 3.11.0Maciej Barć2024-10-233-54/+0
* dev-ml/reason: bump to 3.13.0Maciej Barć2024-10-232-0/+47
* dev-ml/reason: add 3.12.0Alfredo Tupone2024-10-193-0/+56
* dev-ml/reason: drop old 3.10.0Maciej Barć2024-05-262-44/+0
* dev-ml/reason: bump to 3.11.0Maciej Barć2024-02-262-0/+44
* dev-ml/reason: drop old 3.9.0-r1Maciej Barć2024-02-262-42/+0
* dev-ml/reason: bump to 3.10.0Maciej Barć2023-09-153-0/+54
* dev-ml/reason: drop old 3.8.2Maciej Barć2023-08-272-38/+0
* dev-ml/reason: add dune-build-info depAlfredo Tupone2023-07-081-0/+1
* dev-ml/reason: bump to 3.9.0Maciej Barć2023-06-172-0/+41
* dev-ml/reason: drop old 3.8.1Maciej Barć2023-06-172-38/+0
* dev-ml/reason: drop old 3.8.0Maciej Barć2023-06-172-38/+0
* dev-ml/reason: keyword 3.8.2 for ~x86Alfredo Tupone2022-12-211-1/+1
* dev-ml/reason: drop old 3.7.0_p20211014Maciej Barć2022-10-162-41/+0
* dev-ml/reason: bump to 3.8.2Maciej Barć2022-10-162-0/+38
* dev-ml/reason: drop old 3.7.0-r2Maciej Barć2022-06-282-40/+0
* dev-ml/reason: bump to 3.8.1Maciej Barć2022-06-282-0/+38
* 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