vfdeps-win

OCaml and OCaml-based VeriFast dependencies on Windows

This repository contains the build script for building OCaml and the OCaml-based packages needed to build VeriFast for Windows.

The binary produced by this repository contains all dependencies.