CHANGELOG.md · a971f9f435a08470e18b11578d50020aaaf7b14a · clef-men / Iris · GitLab

Skip to content

GitLab

Explore

Sign in

iris
CHANGELOG.md

Blame Permalink

Sep 23, 2024
a971f9f4

Drop support Coq 8.18. · a971f9f4
Robbert Krebbers authored Sep 23, 2024 and Ralf Jung committed Oct 02, 2024

a971f9f4

Drop support Coq 8.18.
Robbert Krebbers authored Sep 23, 2024 and Ralf Jung committed Oct 02, 2024

Loading