mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-11-19 02:44:17 +03: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 |