mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-02 02:24:27 +00:00
367676ce82
Signed-off-by: Austin Seipp <aseipp@pobox.com> |
||
---|---|---|
.. | ||
default.nix | ||
tptp.nix |