mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-26 17:03:01 +00:00
33399c9de8
dafny: 2.3.0 -> 4.0.0 |
||
---|---|---|
.. | ||
bin.nix | ||
default.nix | ||
deps.nix | ||
osu.runtimeconfig.json | ||
update-bin.sh | ||
update.sh |