pyrox.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 lib,
5}:
6build-idris-package {
7 pname = "refined";
8 version = "2017-12-28";
9
10 ipkgName = "idris-refined";
11
12 src = fetchFromGitHub {
13 owner = "janschultecom";
14 repo = "idris-refined";
15 rev = "e21cdef16106a77b42d193806c1749ba6448a128";
16 sha256 = "1am7kfc51p2zlml954v8cl9xvx0g0f1caq7ni3z36xvsd7fh47yh";
17 };
18
19 meta = {
20 description = "Port of Scala/Haskell Refined library to Idris";
21 homepage = "https://github.com/janschultecom/idris-refined";
22 license = lib.licenses.asl20;
23 maintainers = [ lib.maintainers.brainrape ];
24 };
25}