646b892680
Some checks failed
Periodic Merges (6h) / master → staging-nixos (push) Failing after 12m50s
Periodic Merges (6h) / master → staging-next (push) Failing after 12m54s
Periodic Merges (24h) / merge-base(master,staging) → haskell-updates (push) Failing after 11m54s
Periodic Merges (6h) / staging-next → staging (push) Failing after 12m13s
Periodic Merges (24h) / staging-next-25.05 → staging-25.05 (push) Failing after 13m24s
Periodic Merges (24h) / release-25.05 → staging-next-25.05 (push) Failing after 14m28s
52 lines
1.4 KiB
Nix
52 lines
1.4 KiB
Nix
let
|
|
lambdaLispVersion = "2022-08-18";
|
|
blcVersion = "2";
|
|
# Archive of "https://justine.lol/lambda/";
|
|
justineLolArchive = "https://web.archive.org/web/20230614065521if_/https://justine.lol/lambda/";
|
|
in
|
|
{ fetchFromGitHub, fetchurl }:
|
|
{
|
|
inherit blcVersion;
|
|
inherit lambdaLispVersion;
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "woodrush";
|
|
repo = "lambdalisp";
|
|
rev = "2119cffed1ab2005f08ab3cfca92028270f08725";
|
|
hash = "sha256-ml2xQ8s8sux+6GwTw8mID3PEOcH6hn8tyc/UI5tFaO0=";
|
|
};
|
|
|
|
uniCSrc = fetchFromGitHub {
|
|
owner = "tromp";
|
|
repo = "tromp.github.io";
|
|
rev = "b4de12e566c1fb0fa3f3babe89bac885f4c966a4";
|
|
hash = "sha256-JmbqQp2kkkkkkkkSWQmG3uBxdgyIu4r2Ch8bBGyQ4H4=";
|
|
};
|
|
|
|
# needed later
|
|
clambSrc = fetchFromGitHub {
|
|
owner = "irori";
|
|
repo = "clamb";
|
|
rev = "44c1208697f394e22857195be5ea73bfdd48ebd1";
|
|
hash = "sha256-1lGg2NBoxAKDCSnnPn19r/hwBC5paAKUnlcsUv3dpNY=";
|
|
};
|
|
|
|
# needed later
|
|
lazykSrc = fetchFromGitHub {
|
|
owner = "irori";
|
|
repo = "lazyk";
|
|
rev = "5edb0b834d0af5f7413c484eb3795d47ec2e3894";
|
|
hash = "sha256-1lGg2NBoxAKDCSnnPn19r/hwBC5paAKUnlcsUv3dpNY=";
|
|
};
|
|
|
|
blcSrc = fetchurl {
|
|
url = "${justineLolArchive}Blc.S?v=${blcVersion}";
|
|
hash = "sha256-qt7vDtn9WvDoBaLESCyyscA0u74914e8ZKhLiUAN52A=";
|
|
};
|
|
|
|
flatSrc = fetchurl {
|
|
url = "${justineLolArchive}flat.lds";
|
|
hash = "sha256-HxX+10rV86zPv+UtF+n72obtz3DosWLMIab+uskxIjA=";
|
|
};
|
|
}
|