GitHub repository: verifast/vfdeps-win
Primary language: Makefile
Created: 2019-07-21T07:41:58Z
Description: OCaml and OCaml-based VeriFast dependencies on Windows