"theories/tests" did not exist on "97b304a05e9ca99bca8ccfc29ce5613761aa8360"
Forked from
Iris / stdpp
3646 commits behind the upstream repository.
-
Paolo G. Giarrusso authored
Use that in place of the old encoding: iris/stdpp#70 (comment 52817) Requires dropping support for Coq 8.7.
Paolo G. Giarrusso authoredUse that in place of the old encoding: iris/stdpp#70 (comment 52817) Requires dropping support for Coq 8.7.
