Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Nomadic Labs
Mi-Cho-Coq
Merge requests
!50
Fix install of the michocoq binary
Code
Review changes
Check out branch
Download
Patches
Plain diff
Guillaume Claret
requested to merge
fix-opam-install
into
master
Dec 04, 2019
Overview
0
Commits
1
Pipelines
2
Changes
2
Expand
Before it was not installing anymore due to a change of the opam file name (my fault).
Merge request reports