pkgs/by-name/bo/boogie · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs by-name bo boogie

3 files

at python-updates

R. Ryantm · boogie: 3.5.3 -> 3.5.4 · 1y ago

boogie: 3.4.2 -> 3.5.1

install-check-file.bpl

boogie: 2.15.7 -> 3.0.4 Also add install check to verify all dependencies (ie. z3) work

boogie: 3.5.3 -> 3.5.4