nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-12 08:43:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
543,013 Commits 188 Branches 125 Tags 8.6 GiB
bda14ffa80
Commit Graph

3 Commits

Author SHA1 Message Date
R. Ryantm
a4336d795c boogie: 3.0.4 -> 3.0.5 2023-10-11 12:37:10 +00:00
mdarocha
7006d97373 boogie: 2.15.7 -> 3.0.4 
Also add install check to verify all dependencies (ie. z3) work
 2023-09-16 16:00:34 +02:00
mdarocha
b0d00352bb boogie: move out of dotnet-packages.nix 
dotnet-packages.nix is deprecated and being removed
 2023-09-16 16:00:29 +02:00