mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-13 09:13:17 +00:00
8f6236baec
And split into multiple outputs - the default `bin` contains the Jasmin compilers - the `lib` output contains the EasyCrypt support library - the remaining `out` contains the OCaml libraries |
||
---|---|---|
.. | ||
default.nix |