JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fstar: 2016-01-12 -> 0.9.2.0

Browse Source 
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.
This commit is contained in:
Joachim Fasting 2016-03-13 09:32:28 +01:00
parent 2d01e94f2e
commit f82a46cf58
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/development/compilers/fstar/default.nix
View File

@ -2,17 +2,19 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "fstar-${version}"; name = "fstar-${version}";
version = "2016-01-12"; version = "0.9.2.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "FStarLang"; owner = "FStarLang";
repo = "FStar"; repo = "FStar";
rev = "af9a231566ca52c9bc3409398c801ae9e8191cfa"; rev = "v${version}";
sha256 = "1zri4gqr6j6hygnh0ckfhq93mqwk9i19vng8chnmvlr27zq734a2"; sha256 = "0vrxmxfaslngvbvkzpm1gfl1s34hdsprv8msasxf9sjqc3hlir3l";
}; };
nativeBuildInputs = [ makeWrapper ];
buildInputs = with ocamlPackages; [ buildInputs = with ocamlPackages; [
mono fsharp z3 dotnetPackages.FsLexYacc ocaml findlib ocaml_batteries openssl makeWrapper mono fsharp z3 dotnetPackages.FsLexYacc ocaml findlib ocaml_batteries openssl
]; ];
preBuild = '' preBuild = ''