mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-21 13:13:33 +00:00
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 |