Tags · Core Modules / dune-common

Tags give the ability to mark specific points in history as being important

v2.7.0 protected Dune 2.7.0

c5321673 · [!756 ] Cherrypick/skipped tests · Jan 19, 2020

Download source code

zip tar.gz tar.bz2 tar
v2.7.0rc2 protected

9e4e54a0 · [!753 ] Cherrypick/install latex doc optional and headercheck · Jan 10, 2020

Download source code

zip tar.gz tar.bz2 tar
v2.7.0rc1 protected

990a2c09 · Create 2.7 release branch · Dec 20, 2019

Download source code

zip tar.gz tar.bz2 tar
v2.5.2 protected dune-common 2.5.2

2f17b9d1 · Merge branch 'feature/prepare-for-2.5.2' into 'releases/2.5' · Apr 24, 2018

Download source code

zip tar.gz tar.bz2 tar
v2.6.0 protected dune-common 2.6.0

22b9cdad · update license file · Mar 28, 2018

Download source code

zip tar.gz tar.bz2 tar
v2.6.0rc2 protected dune-common 2.6.0rc2

f4f39d81 · Merge branch 'cherry-pick-8c1ceeba ' into 'releases/2.6' · Feb 10, 2018

Download source code

zip tar.gz tar.bz2 tar
v2.6.0rc1 protected dune-common 2.6.0rc1

a00c0612 · update list of copyright holders · Dec 18, 2017

Download source code

zip tar.gz tar.bz2 tar
v2.5.2rc1 protected dune-common 2.5.2rc1

b7b179b1 · Merge branch 'cherry-pick-b914b997 ' into 'releases/2.5' · Nov 06, 2017

Download source code

zip tar.gz tar.bz2 tar
v2.5.1 protected dune-common 2.5.1

d7f91eb7 · dune.module: bump version to 2.5.1 · Jul 17, 2017

Download source code

zip tar.gz tar.bz2 tar
v2.4.2 protected Tag release 2.4.2

23e56898 · Bump version to 2.4.2 · Jun 28, 2017

Download source code

zip tar.gz tar.bz2 tar
v2.5.1rc1 protected dune-common 2.5.1rc1

8a309632 · [Fix] Update mailing lists addresses. · Jun 14, 2017

Download source code

zip tar.gz tar.bz2 tar
v2.4.2-rc1 protected Tag rc1 for release 2.4.2

d878eeda · Bump version to 2.4.2-rc1 · Jun 13, 2017

Download source code

zip tar.gz tar.bz2 tar
v2.5.0 protected dune-common 2.5.0

d6f00efc · Merge branch 'feature/prepare-for-2.5.0' into 'releases/2.5' · Dec 18, 2016

Download source code

zip tar.gz tar.bz2 tar
v2.5.0rc2 protected v2.5.0rc2

cfa9240f · Merge branch 'cherry-pick-a6527917 ' into 'releases/2.5' · Nov 29, 2016

Download source code

zip tar.gz tar.bz2 tar
v2.5.0rc1 protected dune-common 2.5.0rc1

b57f0f5b · Merge branch 'cherry-pick-f428dec5 ' into 'releases/2.5' · Nov 17, 2016

Download source code

zip tar.gz tar.bz2 tar
v2.4.1 protected dune-common 2.4.1

f45d5c00 · [Version] Bump version to 2.4.1 · Feb 29, 2016

Download source code

zip tar.gz tar.bz2 tar
v2.4.1-rc2 protected dune-common 2.4.1-rc2

339444da · [Version] Bump version to 2.4.1-rc2 · Feb 23, 2016

Download source code

zip tar.gz tar.bz2 tar
v2.4.1-rc1 protected dune-common 2.4.1-rc1

b8ec2637 · [DebugAllocator] Fix to work OS X < 10.11 · Feb 20, 2016

Download source code

zip tar.gz tar.bz2 tar
v2.4.0 protected Release 2.4.0 Up to an updated file with status information this is identical to v2.4.0-rc3

7c4f09c1 · Update prevent list for cherry-picking · Sep 24, 2015

Download source code

zip tar.gz tar.bz2 tar
v2.4.0-rc3 protected 3rd rc for dune 2.4

882f5b6d · [release,bugfix] Prevent index out of bounds in parametertreetest. · Sep 12, 2015

Download source code

zip tar.gz tar.bz2 tar

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code