Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 3beacc4dbe24be54dd63258897d69545ffd52e6a
https://github.com/NixOS/nixpkgs/commit/3beacc4dbe24be54dd63258897d69545ffd52e6a
Author: Alexander Ried <r...@mytum.de>
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.
_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
