Commits

Breadcrumbs

History for

on1d98d0a

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 2, 2023

• dev-ml/lambda-term: add 3.3.2

  Show description for 82bdf59
  atupone

  committed
  82bdf59

  Copy full SHA for 82bdf59

Commits on Jan 13, 2023

• dev-ml/lambda-term: fix deps

  Show description for 0ade762
  xgqt

  committed
  0ade762

  Copy full SHA for 0ade762

• dev-ml/lambda-term: bump to 3.3.1

  Show description for a7fa2d9
  xgqt

  committed
  a7fa2d9

  Copy full SHA for a7fa2d9

Commits on Sep 9, 2022

• dev-ml/lambda-term: fix dep on lwt

  Show description for af8840b
  atupone

  committed
  af8840b

  Copy full SHA for af8840b

Commits on Jan 25, 2022

• **/metadata.xml: Replace http by https in DOCTYPE element

  Show description for 2585fff
  ulm

  committed
  2585fff

  Copy full SHA for 2585fff

Commits on Dec 8, 2021

• dev-ml/lambda-term: new package; add version 3.1.0

  Show description for 31f3f57
  xgqt

  committed
  31f3f57

  Copy full SHA for 31f3f57

Commits on Jan 14, 2020

• dev-ml/*: Remove first set of unneeded leaf packages

  Show description for e73cdb8
  mgorny

  committed
  e73cdb8

  Copy full SHA for e73cdb8

Commits on Dec 13, 2019

• */*: Remove ml@ from packages maintainers

  Show description for 8d5bf2b
  mgorny

  committed
  8d5bf2b

  Copy full SHA for 8d5bf2b

Commits on Dec 9, 2017

• dev-ml/*: Update Manifest hashes

  mgorny

  committed
  b3fe2d6

  Copy full SHA for b3fe2d6

Commits on Sep 22, 2017

• dev-ml/lambda-term: udpate to opam.eclass

  Show description for 56ca3d6
  aballier

  committed
  56ca3d6

  Copy full SHA for 56ca3d6

Commits on Apr 20, 2017

• dev-ml/lambda-term: remove old

  Show description for 8789a2a
  aballier

  committed
  8789a2a

  Copy full SHA for 8789a2a

Commits on Apr 12, 2017

• dev-ml/lambda-term: bump to 1.11

  Show description for 6d91438
  aballier

  committed
  6d91438

  Copy full SHA for 6d91438

Commits on Feb 28, 2017

• Drop $Id$ per council decision in bug #611234.

  Show description for 61b861a
  robbat2

  committed
  61b861a

  Copy full SHA for 61b861a

Commits on Oct 10, 2016

• dev-ml/lambda-term: bump dev-ml/react dep, bug #582970

  Show description for 082f67c
  aballier

  committed
  082f67c

  Copy full SHA for 082f67c

• dev-ml/lambda-term: remove old

  Show description for 2e6004c
  aballier

  committed
  2e6004c

  Copy full SHA for 2e6004c

Commits on Aug 16, 2016

• dev-ml/lambda-term: bump to 1.10.1

  Show description for a718b75
  aballier

  committed
  a718b75

  Copy full SHA for a718b75

Commits on Apr 9, 2016

• dev-ml/lambda-term: bump to 1.10

  Show description for 54c7dde
  aballier

  committed
  54c7dde

  Copy full SHA for 54c7dde

Commits on Feb 7, 2016

• dev-ml/lambda-term: remove old

  Show description for 232942d
  aballier

  committed
  232942d

  Copy full SHA for 232942d

Commits on Jan 24, 2016

• Set appropriate maintainer types in metadata.xml (GLEP 67)

  mgorny

  committed
  8849b09

  Copy full SHA for 8849b09

• Replace all herds with appropriate projects (GLEP 67)

  Show description for cfd93d7
  mgorny

  committed
  cfd93d7

  Copy full SHA for cfd93d7

Commits on Aug 24, 2015

• Revert DOCTYPE SYSTEM https changes in metadata.xml

  Show description for 1bfb585
  floppym

  committed
  1bfb585

  Copy full SHA for 1bfb585

• Use https by default

  Show description for eaaface
  jlec

  committed
  eaaface

  Copy full SHA for eaaface

Commits on Aug 9, 2015

• proj/gentoo: Initial commit

  Show description for 56bd759
  robbat2

  committed
  56bd759

  Copy full SHA for 56bd759

Loading