Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
v2.5.1
16b8dad2
·
dune.module: bump version to 2.5.1
·
Jul 17, 2017
dune-functions 2.5.1
Unverified
v2.5.1rc1
a2ce1ef8
·
dune.module: update mailing list address
·
Jun 14, 2017
dune-functions 2.5.1rc1
Unverified
v2.5.0
cc704b4a
·
Merge branch 'feature/prepare-for-2.5.0' into 'releases/2.5'
·
Dec 18, 2016
dune-functions 2.5.0
Unverified
v2.5.0rc2
b2de93d9
·
.gitlab-ci.yml: Build against releases/2.5 branch of other modules.
·
Nov 18, 2016
v2.5.0rc2
Unverified
v2.5.0rc1
b2de93d9
·
.gitlab-ci.yml: Build against releases/2.5 branch of other modules.
·
Nov 18, 2016
dune-functions 2.5.0rc1
Unverified