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/packages: move why3 pin to sources.json

Browse source
This commit is contained in:
Primrose 2025-05-03 22:33:42 +02:00
parent 368cf878df
commit d6ad204ca3
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
2 changed files with 28 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

25
nix/packages/default.nix
View file

@ -57,27 +57,10 @@ in rec {
logisim-evolution = pkgs.callPackage ./logisim-evolution.nix {}; logisim-evolution = pkgs.callPackage ./logisim-evolution.nix {};
necrolib = pkgs.callPackage ./necrolib.nix {}; necrolib = pkgs.callPackage ./necrolib.nix {};
why3-wrapped = let why3-wrapped = let
why3-pinned = why3-pinned = import sources.pin-why3 {};
import alt-ergo-pinned = import sources.pin-alt-ergo {
(pkgs.fetchFromGitHub { config.allowUnfree = true;
owner = "nixos"; };
repo = "nixpkgs";
rev = "805a384895c696f802a9bf5bf4720f37385df547";
hash = "sha256-F/TKWETwB5RaR8owkPPi+SPJh83AQsm6KrQAlJ8v/uA=";
})
{inherit (pkgs) system;};
alt-ergo-pinned =
import
(pkgs.fetchFromGitHub {
owner = "nixos";
repo = "nixpkgs";
rev = "1b95daa381fa4a0963217a5d386433c20008208a";
hash = "sha256-vwEtkxIEQjymeTk89Ty1MGfRVSWL1/3j1wt5xB5ua88=";
})
{
inherit (pkgs) system;
config.allowUnfree = true;
};
in in
why3-pinned.callPackage ./why3.nix {inherit (alt-ergo-pinned) alt-ergo;}; why3-pinned.callPackage ./why3.nix {inherit (alt-ergo-pinned) alt-ergo;};

24
nix/sources.json
View file

@ -133,6 +133,18 @@
"url": "https://github.com/nix-community/nur/archive/0150847d90961f362980d7dd662868dc6ee0907a.tar.gz", "url": "https://github.com/nix-community/nur/archive/0150847d90961f362980d7dd662868dc6ee0907a.tar.gz",
"url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz" "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
}, },
"pin-alt-ergo": {
"branch": "master",
"description": "Nix Packages collection & NixOS",
"homepage": "",
"owner": "nixos",
"repo": "nixpkgs",
"rev": "1b95daa381fa4a0963217a5d386433c20008208a",
"sha256": "1kvbdqgc8y8bszizvmwb4max2rrhnlygag1rg6k3qhh42a9js0dz",
"type": "tarball",
"url": "https://github.com/nixos/nixpkgs/archive/1b95daa381fa4a0963217a5d386433c20008208a.tar.gz",
"url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
},
"pin-fourmolu": { "pin-fourmolu": {
"branch": "haskell-updates", "branch": "haskell-updates",
"description": "Nix Packages collection & NixOS", "description": "Nix Packages collection & NixOS",
@ -157,6 +169,18 @@
"url": "https://github.com/NixOS/nixpkgs/archive/805a384895c696f802a9bf5bf4720f37385df547.tar.gz", "url": "https://github.com/NixOS/nixpkgs/archive/805a384895c696f802a9bf5bf4720f37385df547.tar.gz",
"url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz" "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
}, },
"pin-why3": {
"branch": "master",
"description": "Nix Packages collection & NixOS",
"homepage": "",
"owner": "nixos",
"repo": "nixpkgs",
"rev": "805a384895c696f802a9bf5bf4720f37385df547",
"sha256": "1q7y5ygr805l5axcjhn0rn3wj8zrwbrr0c6a8xd981zh8iccmx0p",
"type": "tarball",
"url": "https://github.com/nixos/nixpkgs/archive/805a384895c696f802a9bf5bf4720f37385df547.tar.gz",
"url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
},
"pin-wireshark": { "pin-wireshark": {
"branch": "master", "branch": "master",
"description": "Nix Packages collection & NixOS", "description": "Nix Packages collection & NixOS",