[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