Skip to content
Snippets Groups Projects
Commit ad1bfffc authored by Hai Dang's avatar Hai Dang
Browse files

bump iris

parent 728003c3
No related branches found
No related tags found
No related merge requests found
Pipeline #
Hide whitespace changes
Inline Side-by-side
opam
+ 1
− 1
View file @ ad1bfffc
...@@ -3,7 +3,7 @@ name: "coq-gps" ...@@ -3,7 +3,7 @@ name: "coq-gps"
version: "dev" version: "dev"
maintainer: "Jan-Oliver Kaiser, Hoang-Hai Dang" maintainer: "Jan-Oliver Kaiser, Hoang-Hai Dang"
authors: "Jan-Oliver Kaiser, Hoang-Hai Dang" authors: "Jan-Oliver Kaiser, Hoang-Hai Dang"
# homepage: "?" homepage: "http://plv.mpi-sws.org/igps/"
bug-reports: "https://gitlab.mpi-sws.org/FP/sra-gps/issues" bug-reports: "https://gitlab.mpi-sws.org/FP/sra-gps/issues"
dev-repo: "https://gitlab.mpi-sws.org/FP/sra-gps.git" dev-repo: "https://gitlab.mpi-sws.org/FP/sra-gps.git"
build: [ build: [
......
opam.pins
+ 1
− 0
View file @ ad1bfffc
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq bfe7dd4c44d609088acadf40e1be500f76388a73
\ No newline at end of file
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