"git-rts@gitlab.mpi-sws.org:SkySkimmer/iris.git" did not exist on "b81d90d82c7da531022c37338ef8484b261e9a1b"
Forked from
Iris / Iris
Source project has a limited visibility.
Maxime Dénès
authored
This was a noop and will soon be an error (until `Inductive` properly supports locality attributes). See https://github.com/coq/coq/pull/9410
| Name | Last commit | Last update |
|---|