tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ build-idris-package
2, fetchFromGitHub
3, contrib
4, pruviloj
5, lib
6}:
7build-idris-package {
8 name = "derive";
9 version = "2018-07-02";
10
11 idrisDeps = [ contrib pruviloj ];
12
13 src = fetchFromGitHub {
14 owner = "david-christiansen";
15 repo = "derive-all-the-instances";
16 rev = "0a9a5082d4ab6f879a2c141d1a7b645fa73fd950";
17 sha256 = "06za15m1kv9mijzll5712crry4iwx3b0fjv76gy9vv1p10gy2g4m";
18 };
19
20 meta = {
21 description = "Type class deriving with elaboration reflection";
22 homepage = https://github.com/davlum/derive-all-the-instances;
23 license = lib.licenses.mit;
24 maintainers = [ lib.maintainers.brainrape ];
25 };
26}