primrose/.files
1
0
Fork 0
mirror of https://codeberg.org/leana8959/.files.git synced 2025-12-06 14:49:14 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

nix: pin why3 internally

Browse source
This commit is contained in:
Primrose 2024-10-25 20:41:54 +02:00
parent 92a4e0ada0
commit b365d5454c
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
3 changed files with 22 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

31
nix/packages/default.nix
View file

@ -51,15 +51,28 @@
logisim-evolution = final.callPackage ./logisim-evolution.nix { };
necrolib = final.callPackage ./necrolib.nix { };
why3 = final.callPackage ./why3.nix {
inherit
(import inputs.alt-ergo-pin {
inherit (final) system;
config.allowUnfree = true;
})
alt-ergo
;
};
why3 =
let
why3-pinned = import (final.fetchFromGitHub {
owner = "nixos";
repo = "nixpkgs";
rev = "805a384895c696f802a9bf5bf4720f37385df547";
hash = "sha256-F/TKWETwB5RaR8owkPPi+SPJh83AQsm6KrQAlJ8v/uA=";
}) { inherit (final) system; };
alt-ergo-pinned =
import
(final.fetchFromGitHub {
owner = "nixos";
repo = "nixpkgs";
rev = "1b95daa381fa4a0963217a5d386433c20008208a";
hash = "sha256-vwEtkxIEQjymeTk89Ty1MGfRVSWL1/3j1wt5xB5ua88=";
})
{
inherit (final) system;
config.allowUnfree = true;
};
in
why3-pinned.callPackage ./why3.nix { inherit (alt-ergo-pinned) alt-ergo; };
isabelle-wrapped = final.callPackage ./isabelle-wrapped.nix { };
maeel = final.callPackage ./maeel.nix { };