Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Gappa
coq
Merge requests
!1
Fix coq 813
Code
Review changes
Check out branch
Download
Patches
Plain diff
TASSI Enrico
requested to merge
tassi/coq:fix-coq-813
into
master
Nov 25, 2020
Overview
4
Commits
3
Pipelines
1
Changes
6
Expand
see
https://github.com/coq/coq/pull/13472
Merge request reports