Coq-dev in VST-CI; and more Coq 8.17 deprecation fixes #676

Closed andrew-appel closed 1 year ago