mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-22 21:30:45 +02:00
cc84f3906e
This triggerred coq-community/coq-nix-toolbox#42. |
||
---|---|---|
.. | ||
default.nix |