diff --git a/opam b/opam
index e6a5fc6ae1d4a7f7065ee717dcb1e8d4c29130e3..9c4f122659683ba2367c96ea70efefcb10e864c0 100644
--- a/opam
+++ b/opam
@@ -1,4 +1,4 @@
-opam-version: "1.2"
+opam-version: "2.0"
 name: "coq-stdpp"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 authors: "Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung"