pyrox.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 effects,
5 containers,
6 lightyear,
7 test,
8 lib,
9}:
10build-idris-package {
11 pname = "config";
12 version = "2017-11-06";
13
14 idrisDeps = [
15 effects
16 containers
17 lightyear
18 test
19 ];
20
21 src = fetchFromGitHub {
22 owner = "benclifford";
23 repo = "idris-config";
24 rev = "92f98652f5cb06a76c47809f16c661ec6cf11048";
25 sha256 = "1w2w2l4drvkf8mdzh3lwn6l5lnkbxlx9p22s7spw82n5s4wib6c9";
26 };
27
28 meta = {
29 description = "Parsers for various configuration files written in Idris";
30 homepage = "https://github.com/benclifford/idris-config";
31 license = lib.licenses.bsd3;
32 maintainers = [ lib.maintainers.brainrape ];
33 };
34}