diff --git a/CHANGES.md b/CHANGES.md index d6dabe17..e6244e1d 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,5 +1,3 @@ -## dev (Unreleased) - ## v0.1.0 (August 2021) - First release (`v0.1.0`) by [**@d-plaindoux**](https://github.com/d-plaindoux), [**@gr-im**](https://github.com/gr-im), [**@xhtmlboi**](https://github.com/xhtmlboi) and [**@xvw**](https://github.com/xvw) diff --git a/preface.opam b/preface.opam index 0a4d78d6..aa5e016e 100644 --- a/preface.opam +++ b/preface.opam @@ -15,7 +15,7 @@ dev-repo: "git+https://github.com/xvw/preface.git" bug-reports: "https://github.com/xvw/preface/issues" build: [ - [ "dune" "subst" ] + [ "dune" "subst" ] {dev} [ "dune" "build" "-p" name "-j" jobs ] [ "dune" "runtest" "-p" name ] {with-test} [ "dune" "build" "@doc" "-p" name ] {with-doc} @@ -23,7 +23,7 @@ build: [ depends: [ "ocaml" { >= "4.08.0" } - "dune" { >= "2.7.1" } + "dune" { >= "2.8.0" } "either" "alcotest" {with-test} "qcheck-core" {with-test}