Skip to content
Snippets Groups Projects
Commit d6b5c525 authored by Ralf Jung's avatar Ralf Jung
Browse files

acknowledge that we have a team of contributors now

parent 5c3c460e
No related branches found
No related tags found
No related merge requests found
Pipeline #31519 passed
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
opam
+ 1
− 1
View file @ d6b5c525
opam-version: "2.0" opam-version: "2.0"
name: "coq-stdpp" name: "coq-stdpp"
maintainer: "Ralf Jung <jung@mpi-sws.org>" maintainer: "Ralf Jung <jung@mpi-sws.org>"
authors: "Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung" authors: "The std++ team"
license: "BSD" license: "BSD"
homepage: "https://gitlab.mpi-sws.org/iris/stdpp" homepage: "https://gitlab.mpi-sws.org/iris/stdpp"
bug-reports: "https://gitlab.mpi-sws.org/iris/stdpp/issues" bug-reports: "https://gitlab.mpi-sws.org/iris/stdpp/issues"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment