forked from mirrors/nixpkgs
f82a46cf58
FStar has been broken for a while, due to its regression test failing. Bump to the latest release, which is newer than the previous rev. |
||
---|---|---|
.. | ||
default.nix |