v2.5.1

Ansgar Burchardt

@ansgar

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

Unverified

dune-localfunctions 2.5.1