dev-ml/lambda-term – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2023-09-02
- dev-ml/lambda-term: add 3.3.2
  82bdf59
  Alfredo Tupone committed on 2023-09-02 13:16:29 UTC
  dev-ml/lambda-term/lambda-term-3.3.2.ebuilddev-ml/lambda-term/Manifest
Commits on 2023-01-13
- dev-ml/lambda-term: fix deps
  0ade762
  Maciej Barć committed on 2023-01-13 12:31:19 UTC
  dev-ml/lambda-term/lambda-term-3.3.1-r1.ebuilddev-ml/lambda-term/lambda-term-3.3.1.ebuild
- dev-ml/lambda-term: bump to 3.3.1
  a7fa2d9
  Maciej Barć committed on 2023-01-13 02:01:07 UTC
  dev-ml/lambda-term/lambda-term-3.3.1.ebuilddev-ml/lambda-term/Manifest
Commits on 2022-09-09
- dev-ml/lambda-term: fix dep on lwt
  af8840b
  Alfredo Tupone committed on 2022-09-09 13:01:58 UTC
  dev-ml/lambda-term/lambda-term-3.1.0.ebuild
Commits on 2022-01-25
- **/metadata.xml: Replace http by https in DOCTYPE element
  2585fff
  Ulrich Müller committed on 2022-01-25 18:37:45 UTC
  dev-ml/lambda-term/metadata.xml
Commits on 2021-12-08
- dev-ml/lambda-term: new package; add version 3.1.0
  31f3f57
  Maciej Barć committed on 2021-12-08 02:13:07 UTC
  dev-ml/lambda-term/Manifestdev-ml/lambda-term/lambda-term-3.1.0.ebuilddev-ml/lambda-term/metadata.xml
Commits on 2020-01-14
- dev-ml/*: Remove first set of unneeded leaf packages
  e73cdb8
  Michał Górny committed on 2020-01-14 16:26:07 UTC
  dev-ml/lambda-term/Manifestdev-ml/lambda-term/files/lwtreact.patchdev-ml/lambda-term/lambda-term-1.11.ebuilddev-ml/lambda-term/metadata.xml
Commits on 2019-12-13
- */*: Remove ml@ from packages maintainers
  8d5bf2b
  Michał Górny committed on 2019-12-13 15:24:05 UTC
  dev-ml/lambda-term/metadata.xml
Commits on 2017-12-09
- dev-ml/*: Update Manifest hashes
  b3fe2d6
  Michał Górny committed on 2017-12-09 17:40:26 UTC
  dev-ml/lambda-term/Manifest
Commits on 2017-09-22
- dev-ml/lambda-term: udpate to opam.eclass
  56ca3d6
  Alexis Ballier committed on 2017-09-22 08:31:47 UTC
  dev-ml/lambda-term/lambda-term-1.11.ebuild
Commits on 2017-04-20
- dev-ml/lambda-term: remove old
  8789a2a
  Alexis Ballier committed on 2017-04-20 17:02:51 UTC
  dev-ml/lambda-term/Manifestdev-ml/lambda-term/lambda-term-1.10.1-r1.ebuild
Commits on 2017-04-12
- dev-ml/lambda-term: bump to 1.11
  6d91438
  Alexis Ballier committed on 2017-04-12 19:20:25 UTC
  dev-ml/lambda-term/files/lwtreact.patchdev-ml/lambda-term/lambda-term-1.11.ebuilddev-ml/lambda-term/Manifest
Commits on 2017-02-28
- Drop $Id$ per council decision in bug #611234.
  61b861a
  Robin H. Johnson committed on 2017-02-28 19:50:50 UTC
  dev-ml/lambda-term/lambda-term-1.10.1-r1.ebuild
Commits on 2016-10-10
- dev-ml/lambda-term: bump dev-ml/react dep, bug #582970
  082f67c
  Alexis Ballier committed on 2016-10-10 11:43:31 UTC
  dev-ml/lambda-term/lambda-term-1.10.1-r1.ebuilddev-ml/lambda-term/lambda-term-1.10.1.ebuild
- dev-ml/lambda-term: remove old
  2e6004c
  Alexis Ballier committed on 2016-10-10 11:40:32 UTC
  dev-ml/lambda-term/Manifestdev-ml/lambda-term/lambda-term-1.10.ebuilddev-ml/lambda-term/lambda-term-1.9.ebuild
Commits on 2016-08-16
- dev-ml/lambda-term: bump to 1.10.1
  a718b75
  Alexis Ballier committed on 2016-08-16 10:45:56 UTC
  dev-ml/lambda-term/lambda-term-1.10.1.ebuilddev-ml/lambda-term/Manifest
Commits on 2016-04-09
- dev-ml/lambda-term: bump to 1.10
  54c7dde
  Alexis Ballier committed on 2016-04-09 19:15:34 UTC
  dev-ml/lambda-term/lambda-term-1.10.ebuilddev-ml/lambda-term/Manifest
Commits on 2016-02-07
- dev-ml/lambda-term: remove old
  232942d
  Alexis Ballier committed on 2016-02-07 16:13:49 UTC
  dev-ml/lambda-term/Manifestdev-ml/lambda-term/lambda-term-1.8.ebuild
Commits on 2016-01-24
- Set appropriate maintainer types in metadata.xml (GLEP 67)
  8849b09
  Michał Górny committed on 2016-01-24 22:58:38 UTC
  dev-ml/lambda-term/metadata.xml
- Replace all herds with appropriate projects (GLEP 67)
  cfd93d7
  Michał Górny committed on 2016-01-24 22:58:38 UTC
  dev-ml/lambda-term/metadata.xml
Commits on 2015-08-24
- Revert DOCTYPE SYSTEM https changes in metadata.xml
  1bfb585
  Mike Gilbert committed on 2015-08-24 20:30:34 UTC
  dev-ml/lambda-term/metadata.xml
- Use https by default
  eaaface
  Justin Lecher committed on 2015-08-24 10:49:19 UTC
  dev-ml/lambda-term/metadata.xml
Commits on 2015-08-09
- proj/gentoo: Initial commit
  56bd759
  Robin H. Johnson committed on 2015-08-09 00:38:18 UTC
  dev-ml/lambda-term/Manifestdev-ml/lambda-term/lambda-term-1.8.ebuilddev-ml/lambda-term/lambda-term-1.9.ebuilddev-ml/lambda-term/metadata.xml