[prev in list] [next in list] [prev in thread] [next in thread]
List: nix-commits
Subject: [Nix-commits] [NixOS/nixpkgs] cb3d2d: fstar: fix build on Darwin
From: Vincent Laporte <Vincent.Laporte () gmail ! com>
Date: 2016-06-30 15:57:52
Message-ID: 57754180b51e8_451b3fafd0c572bc16845b () hookshot-fe4-cp1-prd ! iad ! github ! net ! mail
[Download RAW message or body]
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: cb3d2d05263ba1c3a08362d22b39950c0ad91b90
https://github.com/NixOS/nixpkgs/commit/cb3d2d05263ba1c3a08362d22b39950c0ad91b90
Author: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: 2016-06-30 (Thu, 30 Jun 2016)
Changed paths:
M pkgs/development/compilers/fstar/default.nix
Log Message:
-----------
fstar: fix build on Darwin
_______________________________________________
nix-commits mailing list
nix-commits@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic