Commit 77e03801 authored by Ralf Jung's avatar Ralf Jung
Browse files

more honest opam file

parent 2f46b6cc
Pipeline #18326 passed with stage
in 17 minutes and 13 seconds
opam-version: "1.2"
name: "coq-iris-examples"
maintainer: "Ralf Jung <>"
authors: "The Iris Team"
authors: "The Iris Team and Contributors"
homepage: ""
bug-reports: ""
dev-repo: ""
Markdown is supported
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