Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
scripts
eval.sh
Find file
Blame
History
Permalink
Fix Coq 8.7.2 compatobility
· ff37cc07
Heiko Becker
authored
May 10, 2018
ff37cc07