Skip to content

Releases: verifast/vfdeps

25.01

08 Jan 20:25
@btj btj
25.01
adf88dc
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
25.01 Latest
Latest

Added a MacOS-AArch64 build

Assets 5
Loading

23.04

25 Apr 14:03
@btj btj
23.04
a4be456
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
  • 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:10
@btj btj
21.11
1c84e9a
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 
Use lablgtk-2.18.11-btj1

Contributes towards fixing https://github.com/verifast/verifast/issues/252
Assets 4
Loading

lablgtk-issue-141-1

17 Nov 15:40
@btj btj
lablgtk-issue-141-1
278553f
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

Attempt to fix garrigue/lablgtk#141

Assets 4
Loading