lyes/nixfiles
1
0
Fork 0
Code Issues Pull requests Activity Actions

Updates

Browse source
This commit is contained in:
Lyes Saadi 2025-12-13 01:35:14 +01:00
parent ea7fc5745b
commit 480e54f8a4
Signed by: lyes
GPG key ID: 55A1D803917CF39A
2 changed files with 15 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

6
users/lyes/desktop/packages.nix
View file

@ -129,6 +129,12 @@ in {
coqPackages.vscoq-language-server
numworks-udev-rules
zola
# Why3
why3
alt-ergo
cvc4
cvc5
z3
# Containers & VMs
toolbox