MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-15 06:14:57 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
nixpkgs/pkgs/by-name/bo/boogie
History
David McFarland f072fe536e boogie: disable parallel builds
2024-09-17 01:12:10 -03:00
..
deps.nix
install-check-file.bpl
package.nix boogie: disable parallel builds 2024-09-17 01:12:10 -03:00