hms/nixos
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore (shells/why3-dev): update

Browse source
This commit is contained in:
Henri Saudubray 2026-04-13 13:56:23 +02:00
parent 6a771eb36a
commit 4b7eeb919a
Signed by: hms
GPG key ID: 7065F57ED8856128
2 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
shells/why3-dev/flake.nix
View file

@ -31,7 +31,7 @@
ocamlPackages.lablgtk3
ocamlPackages.lablgtk3-sourceview3
ocamlPackages.camlzip
ocamlPackages.num
# Provers
alt-ergo
cvc5