search

jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography
MIT License
271 stars 55 forks source link

Minor updates for the CI #790

Closed vbgl closed 6 months ago

vbgl commented 7 months ago
  1. Use OCaml 4.14.2
  2. Update nixpkgs to get why3 1.7.2