pyrox.dev / nixpkgs
lol
fork atom
nixpkgs / pkgs / by-name / bo / boogie /
at master 3 files
mdarocha boogie: 2.15.7 -> 3.0.4 Also add install check to verify all dependencies (ie. z3) work
7006d973
deps.json
install-check-file.bpl
package.nix