mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-09-23 21:57:52 +03:00
33399c9de8
dafny: 2.3.0 -> 4.0.0 |
||
---|---|---|
.. | ||
bin.nix | ||
default.nix | ||
deps.nix | ||
osu.runtimeconfig.json | ||
update-bin.sh | ||
update.sh |