Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/lambda-term
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/lambda-term: fix dep on lwtAlfredo Tupone2022-09-091-2/+2
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
* dev-ml/lambda-term: new package; add version 3.1.0Maciej Barć2021-12-083-0/+48
* dev-ml/*: Remove first set of unneeded leaf packagesMichał Górny2020-01-144-50/+0
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-1/+1
* dev-ml/lambda-term: udpate to opam.eclassAlexis Ballier2017-09-221-11/+2
* dev-ml/lambda-term: remove oldAlexis Ballier2017-04-202-28/+0
* dev-ml/lambda-term: bump to 1.11Alexis Ballier2017-04-123-0/+51
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-ml/lambda-term: bump dev-ml/react dep, bug #582970Alexis Ballier2016-10-101-1/+1
* dev-ml/lambda-term: remove oldAlexis Ballier2016-10-103-58/+0
* dev-ml/lambda-term: bump to 1.10.1Alexis Ballier2016-08-162-0/+29
* dev-ml/lambda-term: bump to 1.10Alexis Ballier2016-04-092-0/+29
* dev-ml/lambda-term: remove oldAlexis Ballier2016-02-072-29/+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-084-0/+66