Commits

History for

Commits on Oct 3, 2021

dev-ml/core: src_compile is in dune.eclass
atupone
committedOct 3, 2021

Commits on Oct 1, 2021

dev-ml/core: bump 0.14.1
atupone
committedOct 1, 2021

Commits on Sep 11, 2021

**/metadata.xml: Replace http by https in DOCTYPE element
ulm
committedSep 11, 2021

Commits on Mar 14, 2021

dev-ml/core: Stabilize 0.14.0-r3 arm64, #772833
thesamesam
committedMar 14, 2021
dev-ml/core: Stabilize 0.14.0-r3 arm, #772833
thesamesam
committedMar 14, 2021

Commits on Mar 13, 2021

dev-ml/core: Stabilize 0.14.0-r3 ppc64, #772833
thesamesam
committedMar 13, 2021
dev-ml/core: default +ocamlopt
thesamesam
committedMar 13, 2021

Commits on Mar 10, 2021

dev-ml/core: remove unused patch(es)

mm1ke
authored and
ConiKost
committedMar 10, 2021

Commits on Mar 7, 2021

dev-ml/core: rm old versions
atupone
committedMar 7, 2021

Commits on Mar 4, 2021

dev-ml/core: amd64 stable wrt bug #772833
asarubbo
committedMar 4, 2021

Commits on Feb 25, 2021

dev-ml/core: Stabilize 0.14.0-r3 x86, #772833
thesamesam
committedFeb 25, 2021
dev-ml/core: Stabilize 0.14.0-r3 ppc, #772833
thesamesam
committedFeb 25, 2021

Commits on Feb 21, 2021

dev-ml/core: Keyword 0.14.0-r3 ppc, #769554
thesamesam
committedFeb 21, 2021

Commits on Feb 10, 2021

dev-ml/core: Keyword 0.14.0-r3 ppc64, #769554
thesamesam
committedFeb 10, 2021

Commits on Jan 28, 2021

dev-ml/core: Keyword 0.14.0-r3 x86, #766884
thesamesam
committedJan 28, 2021
dev-ml/core: Keyword 0.14.0-r3 arm64, #766884
thesamesam
committedJan 28, 2021

Commits on Jan 27, 2021

dev-ml/core: Keyword 0.14.0-r3 arm, #766884
thesamesam
committedJan 27, 2021
dev-ml/core: fix dependencies
thesamesam
committedJan 27, 2021
dev-ml/core: fix dev-ml/bin-prot dep
thesamesam
committedJan 27, 2021
dev-ml/core: add dev-ml/jst-config dep
thesamesam
committedJan 27, 2021
dev-ml/core: drop obsolete dev-ml/configurator dep
thesamesam
committedJan 27, 2021

Commits on Jan 24, 2021

dev-ml/core: adopt for ml@
thesamesam
committedJan 24, 2021
dev-ml/core: bump to 0.14.0
thesamesam
committedJan 24, 2021

Commits on Dec 13, 2019

*/*: Remove ml@ from packages maintainers
mgorny
committedDec 13, 2019

Commits on Dec 9, 2017

dev-ml/*: Update Manifest hashes
mgorny
committedDec 9, 2017

Commits on Nov 10, 2017

dev-ml/core: bump to 0.9.2
aballier
committedNov 10, 2017

Commits on Aug 15, 2017

dev-ml/core: Remove old
aballier
committedAug 15, 2017
dev-ml/core: convert to opam.eclass and add fix for glibc 2.25
aballier
committedAug 15, 2017

Commits on May 24, 2017

dev-ml/core: bump to 0.9.1
aballier
committedMay 24, 2017

Commits on Apr 29, 2017

Globally add missing remote ID references to metadata.xml
jlec
committedApr 29, 2017

Commits on Apr 2, 2017

dev-ml/core: Bump to 0.9.0
aballier
committedApr 2, 2017

Commits on Feb 28, 2017

Drop $Id$ per council decision in bug #611234.
robbat2
committedFeb 28, 2017

Commits on Jan 24, 2017

dev-ml/core: remove old
aballier
committedJan 24, 2017

Commits on May 3, 2016

dev-ml/core: bump to 113.33.02 and fix build with ocaml 4.03
aballier
committedMay 3, 2016

Commits on Mar 22, 2016

dev-ml/core: bump to 113.33.00
aballier
committedMar 22, 2016