2025-03-31 14:08:20 +02:00
|
|
|
{ pkgs ? import <nixpkgs> { } }:
|
|
|
|
|
|
|
|
|
|
let
|
|
|
|
|
tools = pkgs.callPackage ./tools.nix {};
|
|
|
|
|
sourceFile = ../vendor/nimbus-build-system/vendor/Nim/koch.nim;
|
|
|
|
|
in pkgs.fetchFromGitHub {
|
|
|
|
|
owner = "nim-lang";
|
|
|
|
|
repo = "sat";
|
2025-11-20 13:40:08 +01:00
|
|
|
rev = tools.findKeyValue "^ +SatStableCommit = \"([a-f0-9]+)\".*$" sourceFile;
|
|
|
|
|
# WARNING: Requires manual updates when Nim compiler version changes.
|
2025-03-31 14:08:20 +02:00
|
|
|
# WARNING: Requires manual updates when Nim compiler version changes.
|
|
|
|
|
hash = "sha256-JFrrSV+mehG0gP7NiQ8hYthL0cjh44HNbXfuxQNhq7c=";
|
2025-11-20 13:40:08 +01:00
|
|
|
}
|