Skip to content

Releases: verifast/vfdeps-win

23.04

28 Apr 08:27
@btj btj
23.04
e62a07d
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
23.04 Latest
Latest
  • Updated to 64-bit build
  • libxml2 compiled from sources
  • gtksourceview-2 compiled from sources
  • Removed required MSVC installation: cap'n proto is now built with MinGW toolchain
  • Updated GitHub Actions runner images
  • Updated OCaml to 4.14.0
  • Updated other dependencies to recent versions
  • Added dependencies to support ppx_parser in the future: a replacement for Camlp4
Assets 6
Loading

21.11

29 Nov 08:20
@btj btj
21.11
fdd90f3
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
21.11 
For fixing verifast#252
Assets 3
Loading

lablgtk-issue-141-1

18 Nov 08:45
@btj btj
lablgtk-issue-141-1
84de1d6
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
lablgtk-issue-141-1 Pre-release
Pre-release

An attempt to fix verifast/verifast#252

Assets 3
Loading