tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkDerivation,
4 fetchFromGitHub,
5 unstableGitUpdater,
6}:
7
8mkDerivation {
9 version = "0-unstable-2024-08-22";
10 pname = "agda-prelude";
11
12 src = fetchFromGitHub {
13 owner = "UlfNorell";
14 repo = "agda-prelude";
15 rev = "4230566d3ae229b6a00258587651ac7bfd38d088";
16 hash = "sha256-ab+KojzRbkUTAFNH5OA78s0F5SUuXTbliai6badveg4=";
17 };
18
19 passthru.updateScript = unstableGitUpdater { };
20
21 meta = {
22 homepage = "https://github.com/UlfNorell/agda-prelude";
23 description = "Programming library for Agda";
24 license = lib.licenses.mit;
25 platforms = lib.platforms.unix;
26 maintainers = with lib.maintainers; [
27 mudri
28 alexarice
29 turion
30 ];
31 };
32}