dev-ml/

lambda-term

Latest Commits

• Commits on Jan 13, 2023
  • dev-ml/lambda-term: fix deps

    0ade762

    Maciej Barć committed on 13 Jan 2023 12:31:19

    lambda-term-3.3.1-r1.ebuild lambda-term-3.3.1.ebuild
  • dev-ml/lambda-term: bump to 3.3.1

    a7fa2d9

    Maciej Barć committed on 13 Jan 2023 02:01:07

    lambda-term-3.3.1.ebuild Manifest
• Commits on Sep 09, 2022
  • dev-ml/lambda-term: fix dep on lwt

    af8840b

    Alfredo Tupone committed on 9 Sep 2022 13:01:58

    lambda-term-3.1.0.ebuild
• Commits on Jan 25, 2022
  • **/metadata.xml: Replace http by https in DOCTYPE element

    2585fff

    Ulrich Müller committed on 25 Jan 2022 18:37:45

    metadata.xml
• Commits on Dec 08, 2021
  • dev-ml/lambda-term: new package; add version 3.1.0

    31f3f57

    Maciej Barć committed on 8 Dec 2021 02:13:07

    Manifest lambda-term-3.1.0.ebuild metadata.xml
• Commits on Jan 14, 2020
  • dev-ml/*: Remove first set of unneeded leaf packages

    e73cdb8

    Michał Górny committed on 14 Jan 2020 16:26:07

    Manifest files/lwtreact.patch lambda-term-1.11.ebuild metadata.xml
• Commits on Dec 13, 2019
  • */*: Remove ml@ from packages maintainers

    8d5bf2b

    Michał Górny committed on 13 Dec 2019 15:24:05

    metadata.xml
• Commits on Dec 09, 2017
  • dev-ml/*: Update Manifest hashes

    b3fe2d6

    Michał Górny committed on 9 Dec 2017 17:40:26

    Manifest
• Commits on Sep 22, 2017
  • dev-ml/lambda-term: udpate to opam.eclass

    56ca3d6

    Alexis Ballier committed on 22 Sep 2017 08:31:47

    lambda-term-1.11.ebuild
• Commits on Apr 20, 2017
  • dev-ml/lambda-term: remove old

    8789a2a

    Alexis Ballier committed on 20 Apr 2017 17:02:51

    Manifest lambda-term-1.10.1-r1.ebuild
• Commits on Apr 12, 2017
  • dev-ml/lambda-term: bump to 1.11

    6d91438

    Alexis Ballier committed on 12 Apr 2017 19:20:25

    files/lwtreact.patch lambda-term-1.11.ebuild Manifest
• Commits on Feb 28, 2017
  • Drop $Id$ per council decision in bug #611234.

    61b861a

    Robin H. Johnson committed on 28 Feb 2017 19:50:50

    lambda-term-1.10.1-r1.ebuild