Maj terminée. Pour consulter la release notes associée voici le lien :
https://about.gitlab.com/releases/2021/07/07/critical-security-release-gitlab-14-0-4-released/

coq.drv 182 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1

2
prelude "(* This file is generated by Why3's Coq driver *)"
3
prelude "(* Beware! Only edit allowed sections below    *)"
MARCHE Claude's avatar
MARCHE Claude committed
4

5 6
printer "coq"
filename "%f_%t_%g.v"
7

8
import "coq-common.drv"