pyrox.dev
fstar: 2025.03.25 → 2025.08.07
+3
-11
pkgs/by-name/fs/fstar/package.nix
+3
-11
pkgs/by-name/fs/fstar/package.nix
···
1
{
2
callPackage,
3
fetchFromGitHub,
4
-
fetchpatch,
5
installShellFiles,
6
lib,
7
makeWrapper,
···
14
15
let
16
# The version of ocaml fstar uses.
17
-
ocamlPackages = ocaml-ng.ocamlPackages_4_14;
18
19
fstarZ3 = callPackage ./z3 { };
20
in
21
ocamlPackages.buildDunePackage rec {
22
pname = "fstar";
23
-
version = "2025.03.25";
24
25
src = fetchFromGitHub {
26
owner = "FStarLang";
27
repo = "FStar";
28
rev = "v${version}";
29
-
hash = "sha256-PhjfThXF6fJlFHtNEURG4igCnM6VegWODypmRvnZPdA=";
30
-
};
31
-
32
-
# Compatibility with sedlex ≥ 3.5
33
-
patches = fetchpatch {
34
-
url = "https://github.com/FStarLang/FStar/commit/11aff952b955d2c9582515ee2d64ca6993ce1b73.patch";
35
-
hash = "sha256-HlppygegUAYYPDVSzFJvMHXdDSoug636bFa19v3TGkc=";
36
-
excludes = [ "fstar.opam" ];
37
};
38
39
nativeBuildInputs = [
···
1
{
2
callPackage,
3
fetchFromGitHub,
4
installShellFiles,
5
lib,
6
makeWrapper,
···
13
14
let
15
# The version of ocaml fstar uses.
16
+
ocamlPackages = ocaml-ng.ocamlPackages_5_3;
17
18
fstarZ3 = callPackage ./z3 { };
19
in
20
ocamlPackages.buildDunePackage rec {
21
pname = "fstar";
22
+
version = "2025.08.07";
23
24
src = fetchFromGitHub {
25
owner = "FStarLang";
26
repo = "FStar";
27
rev = "v${version}";
28
+
hash = "sha256-IfwMLMbyC1+iPIG48zm6bzhKCHKPOpVaHdlLhU5g3co=";
29
};
30
31
nativeBuildInputs = [