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

fstar: use OCaml 4.14

Browse Source
This commit is contained in:
Vincent Laporte
2024-01-22 08:36:01 +01:00
committed by Vincent Laporte
parent 92c8ee2bbb
commit c6dc2822d1
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/top-level/all-packages.nix
+1
View File
@@ -16335,6 +16335,7 @@ with pkgs;
fsharp = callPackage ../development/compilers/fsharp { };
fstar = callPackage ../development/compilers/fstar {
ocamlPackages = ocaml-ng.ocamlPackages_4_14;
z3 = z3_4_8_5;
};