mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-05 20:12:52 +00:00
73779ab8d4
Co-authored-by: Thomas Tuegel <thomas.tuegel@runtimeverification.com> |
||
---|---|---|
.. | ||
default.nix |