diff --git a/opam b/opam index 93bfee1a09268cb347b4be6181d68b6f940c239e..d2fb6e7a874cc887ea6d303c51699389a56e672d 100644 --- a/opam +++ b/opam @@ -1,7 +1,7 @@ opam-version: "2.0" name: "coq-stdpp" maintainer: "Ralf Jung <jung@mpi-sws.org>" -authors: "Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung" +authors: "The std++ team" license: "BSD" homepage: "https://gitlab.mpi-sws.org/iris/stdpp" bug-reports: "https://gitlab.mpi-sws.org/iris/stdpp/issues"