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