drop support for Coq 8.7 (!170) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Ralf Jung requested to merge ralf/drop-8.7 into master 4 years ago

Activity

Ralf Jung mentioned in merge request !169 (merged) 4 years ago

mentioned in merge request !169 (merged)
Ralf Jung added 1 commit 4 years ago
added 1 commit

852e6fa7 - drop support for Coq 8.7

Compare with previous version
Robbert Krebbers mentioned in commit 04d69616 4 years ago

mentioned in commit 04d69616
Robbert Krebbers merged 4 years ago

merged
Robbert Krebbers @robbertkrebbers · 4 years ago

Owner

LGTM. Thanks.

Please register or sign in to reply