mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-15 10:12:58 +00:00
a864b59ef1
First release with Zorns-lemma and Topology in a monorepo. Each individual package is built with Dune. |
||
---|---|---|
.. | ||
default.nix |