Commits

Breadcrumbs

History for

onfc476f2

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 7, 2021

• dev-ml/menhir: 20211012 bump

  Show description for 6b2aeb5
  atupone

  committed
  6b2aeb5

  Copy full SHA for 6b2aeb5

Commits on Oct 13, 2021

• dev-ml/menhir: Stabilize 20210419-r1 arm64, #817713

  Show description for cc0318d
  thesamesam

  committed
  cc0318d

  Copy full SHA for cc0318d

• dev-ml/menhir: Stabilize 20210419-r1 arm, #817713

  Show description for 504b1ac
  thesamesam

  committed
  504b1ac

  Copy full SHA for 504b1ac

Commits on Oct 11, 2021

• dev-ml/menhir: Stabilize 20210419-r1 x86, #817713

  Show description for 6b620d8
  thesamesam

  committed
  6b620d8

  Copy full SHA for 6b620d8

• dev-ml/menhir: ppc stable wrt bug #817713

  Show description for 7cc7c79
  asarubbo

  committed
  7cc7c79

  Copy full SHA for 7cc7c79

• dev-ml/menhir: Stabilize 20210419-r1 ppc64, #817713

  Show description for 8559ff7
  thesamesam

  committed
  8559ff7

  Copy full SHA for 8559ff7

• dev-ml/menhir: Stabilize 20210419-r1 amd64, #817713

  Show description for 6c49741
  thesamesam

  committed
  6c49741

  Copy full SHA for 6c49741

Commits on Sep 11, 2021

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

  Show description for 38b155f
  ulm

  committed
  38b155f

  Copy full SHA for 38b155f

Commits on Jul 18, 2021

• dev-ml/menhir: install menhirLib and menhirSdk too

  Show description for 092f461
  atupone

  committed
  092f461

  Copy full SHA for 092f461

• dev-ml/menhir: bump 20210419

  Show description for 018d1a7
  atupone

  committed
  018d1a7

  Copy full SHA for 018d1a7

Commits on Apr 16, 2021

• dev-ml/menhir: eutils--

  Show description for 1716d09
  thesamesam

  committed
  1716d09

  Copy full SHA for 1716d09

Commits on Mar 15, 2021

• dev-ml/menhir: drop 20181006

  Show description for b24787e
  thesamesam

  committed
  b24787e

  Copy full SHA for b24787e

Commits on Mar 14, 2021

• dev-ml/menhir: Stabilize 20190924 arm64, #772833

  Show description for 0d16aae
  thesamesam

  committed
  0d16aae

  Copy full SHA for 0d16aae

• dev-ml/menhir: Stabilize 20190924 arm, #772833

  Show description for cefa5b5
  thesamesam

  committed
  cefa5b5

  Copy full SHA for cefa5b5

Commits on Mar 13, 2021

• dev-ml/menhir: Stabilize 20190924 ppc64, #772833

  Show description for 1255546
  thesamesam

  committed
  1255546

  Copy full SHA for 1255546

Commits on Mar 4, 2021

• dev-ml/menhir: amd64 stable wrt bug #772833

  Show description for eb7688d
  asarubbo

  committed
  eb7688d

  Copy full SHA for eb7688d

Commits on Feb 25, 2021

• dev-ml/menhir: Stabilize 20190924 x86, #772833

  Show description for d48d1bc
  thesamesam

  committed
  d48d1bc

  Copy full SHA for d48d1bc

• dev-ml/menhir: Stabilize 20190924 ppc, #772833

  Show description for 0a1bc66
  thesamesam

  committed
  0a1bc66

  Copy full SHA for 0a1bc66

Commits on Feb 10, 2021

• dev-ml/menhir: Keyword 20190924 ppc64, #766884

  Show description for 807f517
  thesamesam

  committed
  807f517

  Copy full SHA for 807f517

Commits on Jan 17, 2021

• dev-ml/menhir: ml maintains it

  Show description for 7e4d39d
  atupone

  committed
  7e4d39d

  Copy full SHA for 7e4d39d

Commits on Nov 28, 2020

• dev-ml/menhir: drop old

  Show description for 9047d83
  FuzzyGophers

  committed
  9047d83

  Copy full SHA for 9047d83

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 3, 2019

• dev-ml/menhir: bump to 20190924

  Show description for 93c943f
  zx2c4

  committed
  93c943f

  Copy full SHA for 93c943f

Commits on Oct 21, 2019

• dev-ml/menhir: Stable version

  Show description for e1a45a5
  atupone

  committed
  e1a45a5

  Copy full SHA for e1a45a5

Commits on Jul 25, 2019

• dev-ml/menhir: bump to 20181006

  Show description for 13d836c
  atupone

  committed
  13d836c

  Copy full SHA for 13d836c

Commits on Dec 15, 2018

• dev-ml/menhir: amd64 stable wrt bug #672444

  Show description for 4fd6956
  Zlogene

  committed
  4fd6956

  Copy full SHA for 4fd6956

Commits on Dec 9, 2017

• dev-ml/*: Update Manifest hashes

  mgorny

  committed
  b3fe2d6

  Copy full SHA for b3fe2d6

Commits on Oct 17, 2017

• dev-ml/menhir: bump to 20171013

  Show description for 59e172a
  aballier

  committed
  59e172a

  Copy full SHA for 59e172a

Commits on Jul 24, 2017

• dev-ml/menhir: Remove old

  Show description for 521bc8a
  aballier

  committed
  521bc8a

  Copy full SHA for 521bc8a

• dev-ml/menhir: keyword ~arm

  Show description for c3e86a0
  aballier

  committed
  c3e86a0

  Copy full SHA for c3e86a0

Commits on Jul 13, 2017

• dev-ml/menhir: bump to 20170712

  Show description for 8717676
  aballier

  committed
  8717676

  Copy full SHA for 8717676

Commits on Jul 8, 2017

• dev-ml/menhir: add ~ppc (needed for jbuilder test suite)

  Show description for 5b8bf64
  aballier

  committed
  5b8bf64

  Copy full SHA for 5b8bf64

Commits on Jun 22, 2017

• dev-ml/menhir: keyword ~arm64

  Show description for 279fd2e
  aballier

  committed
  279fd2e

  Copy full SHA for 279fd2e

Commits on Jun 8, 2017

• dev-ml/menhir: bump to 20170607

  Show description for b66207c
  aballier

  committed
  b66207c

  Copy full SHA for b66207c

Commits on May 10, 2017

• dev-ml/menhir: bump to 20170509

  Show description for 80a2300
  aballier

  committed
  80a2300

  Copy full SHA for 80a2300

Pagination

Previous

Next