nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-21 03:25:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

fstar: 2022.11.19 → 2023.02.01

Browse Source
This commit is contained in:
Vincent Laporte 2023-02-03 07:20:17 +01:00
parent ce18482c53
commit ba7820c8da
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
2 changed files with 3 additions and 33 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "fstar";
version = "2022.11.19";
version = "2023.02.01";
src = fetchFromGitHub {
owner = "FStarLang";
repo = "FStar";
rev = "v${version}";
sha256 = "sha256-IJMzRi335RbK8mEXQaF1UDPC0JVi6zSqcz6RS874m3Q=";
hash = "sha256-sLhbIGF7j1tH8zKsPq1qOSwHvYDrVCyfln9UbE3IYv0=";
};
strictDeps = true;

32
pkgs/top-level/all-packages.nix
View File

@ -14840,37 +14840,7 @@ with pkgs;
fsharp = callPackage ../development/compilers/fsharp { };
fstar = callPackage ../development/compilers/fstar {
# Work around while compatibility with ppxlib >= 0.26 is unavailable
# Should be removed when a fix is available
# See https://github.com/FStarLang/FStar/issues/2681
ocamlPackages =
ocamlPackages.overrideScope' (self: super: {
ppxlib = super.ppxlib.override {
version = if lib.versionAtLeast self.ocaml.version "4.07"
then if lib.versionAtLeast self.ocaml.version "4.08"
then "0.24.0" else "0.15.0" else "0.13.0";
};
ppx_deriving_yojson = super.ppx_deriving_yojson.overrideAttrs (oldAttrs: rec {
version = "3.6.1";
src = fetchFromGitHub {
owner = "ocaml-ppx";
repo = "ppx_deriving_yojson";
rev = "v${version}";
sha256 = "1icz5h6p3pfj7my5gi7wxpflrb8c902dqa17f9w424njilnpyrbk";
};
});
sedlex = super.sedlex.overrideAttrs (oldAttrs: rec {
version = "2.5";
src = fetchFromGitHub {
owner = "ocaml-community";
repo = "sedlex";
rev = "v${version}";
sha256 = "sha256:062a5dvrzvb81l3a9phljrhxfw9nlb61q341q0a6xn65hll3z2wy";
};
});
});
};
fstar = callPackage ../development/compilers/fstar { };
dotnetPackages = recurseIntoAttrs (callPackage ./dotnet-packages.nix {});