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