Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 6fc760270e656f7c062241f69762914a84349c42
https://github.com/NixOS/nixpkgs/commit/6fc760270e656f7c062241f69762914a84349c42
Author: Alexander Ried <[email protected]>
Date: 2016-09-06 (Tue, 06 Sep 2016)
Changed paths:
M pkgs/development/compilers/fstar/default.nix
Log Message:
-----------
fstar: remove workaround (#18331)
As the comment indicates this was a workaround that has since been fixed
upstream.
(cherry picked from commit 3beacc4dbe24be54dd63258897d69545ffd52e6a)
Signed-off-by: Domen Kožar <[email protected]>
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
