1 files changed, 5 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 3bcd57aad5cd..027ac0413076 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = ocaml-menhir-compcert
 	pkgdesc = Latest version of Menhir that can build the latest CompCert release.
-	pkgver = 20190924
+	pkgver = 20200211
 	pkgrel = 1
 	url = http://cristal.inria.fr/~fpottier/menhir/
 	arch = i686
@@ -9,13 +9,14 @@ pkgbase = ocaml-menhir-compcert
 	license = QPL
 	makedepends = ocamlbuild
 	makedepends = ocaml-findlib
+	makedepends = dune
 	depends = ocaml>=4.02
-	provides = ocaml-menhir=20190924
+	provides = ocaml-menhir=20200211
 	conflicts = ocaml-menhir
 	options = !strip
 	options = !makeflags
-	source = https://gitlab.inria.fr/fpottier/menhir/-/archive/20190924/menhir-20190924.tar.gz
-	md5sums = 69b2cbcfb12ca0ca09ad0096c8716265
+	source = https://gitlab.inria.fr/fpottier/menhir/-/archive/20200211/menhir-20200211.tar.gz
+	sha256sums = 00f677401a92d91568a4faffb4977ab71a32a265de59e35419ad5b705d4a532d
 
 pkgname = ocaml-menhir-compcert