Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!1014
Followup for
!1011
Code
Review changes
Check out branch
Download
Patches
Plain diff
Pierre Roux
requested to merge
proux1/iris:re_1011
into
master
Oct 23, 2023
Overview
3
Commits
2
Pipelines
2
Changes
1
Expand
Now works with Coq master which prints version 8.19+alpha
Merge request reports