tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkDerivation,
4 fetchFromGitHub,
5 standard-library,
6}:
7
8mkDerivation rec {
9 pname = "generics";
10 version = "1.0.1";
11
12 src = fetchFromGitHub {
13 owner = "flupe";
14 repo = "generics";
15 rev = "v${version}";
16 sha256 = "sha256-B1eT6F0Dp2zto50ulf+K/KYMlMp8Pgc/tO9qkcqn+O8=";
17 };
18
19 buildInputs = [
20 standard-library
21 ];
22
23 # Agda expects a single .agda-lib file.
24 preBuild = ''
25 rm tests.agda-lib
26 '';
27
28 meta = {
29 description = "Library for datatype-generic programming in Agda";
30 homepage = src.meta.homepage;
31 license = lib.licenses.mit;
32 platforms = lib.platforms.unix;
33 maintainers = with lib.maintainers; [ turion ];
34 };
35}