ed0f599b4f
There is no dedicated darwin maintainer for isabelle |
||
---|---|---|
.. | ||
components | ||
package.nix |
ed0f599b4f
There is no dedicated darwin maintainer for isabelle |
||
---|---|---|
.. | ||
components | ||
package.nix |