Commit 3a5a1883 authored by POTTIER Francois's avatar POTTIER Francois

Patch Makefile.coq to not use V.

parent 9a940e0a
Pipeline #88703 passed with stages
in 26 seconds