idrisPackages: Clean up packages
This commit is contained in:
parent
e79b302f89
commit
b73f540beb
|
@ -1,18 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
build-idris-package {
|
||||
name = "array";
|
||||
version = "2016-10-14";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
extraBuildInputs = [ idris ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "idris-hackers";
|
||||
repo = "idris-array";
|
||||
|
@ -25,6 +18,5 @@ build-idris-package {
|
|||
homepage = https://github.com/idris-hackers/idris-array;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,14 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, pruviloj
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "bi";
|
||||
version = "2018-06-25";
|
||||
|
||||
idrisDeps = [ prelude contrib pruviloj ];
|
||||
idrisDeps = [ contrib pruviloj ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "sbp";
|
||||
|
@ -24,6 +22,5 @@ build-idris-package {
|
|||
homepage = https://github.com/sbp/idris-bi;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "bifunctors";
|
||||
version = "2017-02-07";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "japesinator";
|
||||
repo = "Idris-Bifunctors";
|
||||
|
@ -26,6 +21,5 @@ build-idris-package {
|
|||
description = "A small bifunctor library for idris";
|
||||
homepage = https://github.com/japesinator/Idris-Bifunctors;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,18 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "bytes";
|
||||
version = "2018-02-10";
|
||||
|
||||
idrisDeps = [ prelude ];
|
||||
|
||||
extraBuildInputs = [ idris ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "ziman";
|
||||
repo = "idris-bytes";
|
||||
|
@ -24,6 +17,5 @@ build-idris-package {
|
|||
description = "FFI-based byte buffers for Idris";
|
||||
homepage = https://github.com/ziman/idris-bytes;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "canvas";
|
||||
version = "2017-11-09";
|
||||
|
||||
idrisDeps = [ prelude ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "JinWuZhao";
|
||||
repo = "idriscanvas";
|
||||
|
@ -21,6 +17,5 @@ build-idris-package {
|
|||
description = "Idris FFI binding for html5 canvas 2d api";
|
||||
homepage = https://github.com/JinWuZhao/idriscanvas;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "categories";
|
||||
version = "2017-03-01";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "danilkolikov";
|
||||
repo = "categories";
|
||||
|
@ -22,6 +17,5 @@ build-idris-package {
|
|||
description = "Category Theory";
|
||||
homepage = https://github.com/danilkolikov/categories;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "coda";
|
||||
version = "2018-01-25";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "ostera";
|
||||
repo = "idris-coda";
|
||||
|
@ -23,6 +18,5 @@ build-idris-package {
|
|||
homepage = https://github.com/ostera/idris-coda;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "comonad";
|
||||
version = "2018-02-26";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "vmchale";
|
||||
repo = "comonad";
|
||||
|
@ -23,6 +18,5 @@ build-idris-package {
|
|||
homepage = https://github.com/vmchale/comonad;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, hezarfen
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "composition";
|
||||
version = "2017-11-12";
|
||||
|
||||
idrisDeps = [ prelude hezarfen ];
|
||||
idrisDeps = [ hezarfen ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "vmchale";
|
||||
|
@ -23,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/vmchale/composition;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,18 +1,16 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, effects
|
||||
, containers
|
||||
, lightyear
|
||||
, test
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "config";
|
||||
version = "2017-11-06";
|
||||
|
||||
idrisDeps = [ prelude effects containers lightyear test ];
|
||||
idrisDeps = [ effects containers lightyear test ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "benclifford";
|
||||
|
@ -26,6 +24,5 @@ build-idris-package {
|
|||
homepage = https://github.com/benclifford/idris-config;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,17 +1,15 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, idrisscript
|
||||
, hrtime
|
||||
, webgl
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "console";
|
||||
version = "2017-04-20";
|
||||
|
||||
idrisDeps = [ prelude idrisscript hrtime webgl ];
|
||||
idrisDeps = [ idrisscript hrtime webgl ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "pierrebeaucamp";
|
||||
|
@ -25,6 +23,5 @@ build-idris-package {
|
|||
homepage = https://github.com/pierrebeaucamp/idris-console;
|
||||
license = lib.licenses.asl20;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,17 +1,14 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, effects
|
||||
, test
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "containers";
|
||||
version = "2017-09-10";
|
||||
|
||||
idrisDeps = [ prelude effects test ];
|
||||
idrisDeps = [ effects test ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "jfdm";
|
||||
|
@ -29,6 +26,5 @@ build-idris-package {
|
|||
homepage = https://github.com/jfdm/idris-containers;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,17 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "cube";
|
||||
version = "2017-07-05";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "aatxe";
|
||||
repo = "cube.idr";
|
||||
|
@ -24,6 +18,5 @@ build-idris-package {
|
|||
homepage = https://github.com/aatxe/cube.idr;
|
||||
license = lib.licenses.agpl3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,18 +1,16 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, effects
|
||||
, lib
|
||||
, idris
|
||||
, ncurses
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "curses";
|
||||
version = "2017-10-12";
|
||||
|
||||
idrisDeps = [ prelude effects ];
|
||||
idrisDeps = [ effects ];
|
||||
|
||||
extraBuildInputs = [ ncurses.out ncurses.dev ];
|
||||
extraBuildInputs = [ ncurses ];
|
||||
|
||||
postUnpack = ''
|
||||
sed -i 's/^libs = curses$/libs = ncurses/g' source/curses.ipkg
|
||||
|
@ -31,6 +29,5 @@ build-idris-package {
|
|||
homepage = https://github.com/JakobBruenker/curses-idris;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "data";
|
||||
version = "2018-03-19";
|
||||
|
||||
idrisDeps = [ prelude contrib ];
|
||||
idrisDeps = [ contrib ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "jdevuyst";
|
||||
|
@ -23,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/jdevuyst/idris-data;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,14 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, pruviloj
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "derive";
|
||||
version = "2018-02-15";
|
||||
|
||||
idrisDeps = [ prelude contrib pruviloj ];
|
||||
idrisDeps = [ contrib pruviloj ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "davlum";
|
||||
|
@ -24,6 +22,5 @@ build-idris-package {
|
|||
homepage = https://github.com/davlum/derive-all-the-instances;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, pruviloj
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "descncrunch";
|
||||
version = "2017-11-15";
|
||||
|
||||
idrisDeps = [ prelude pruviloj ];
|
||||
idrisDeps = [ pruviloj ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "ahmadsalim";
|
||||
|
@ -23,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/ahmadsalim/desc-n-crunch;
|
||||
license = lib.licenses.gpl3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "dict";
|
||||
version = "2016-12-26";
|
||||
|
||||
idrisDeps = [ prelude contrib ];
|
||||
idrisDeps = [ contrib ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "be5invis";
|
||||
|
@ -27,6 +25,5 @@ build-idris-package {
|
|||
homepage = https://github.com/be5invis/idris-dict;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,17 +1,15 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, idrisscript
|
||||
, html
|
||||
, xhr
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "dom";
|
||||
version = "2017-04-22";
|
||||
|
||||
idrisDeps = [ prelude idrisscript html xhr ];
|
||||
idrisDeps = [ idrisscript html xhr ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "pierrebeaucamp";
|
||||
|
@ -25,6 +23,5 @@ build-idris-package {
|
|||
homepage = https://github.com/pierrebeaucamp/idris-dom;
|
||||
license = lib.licenses.asl20;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,18 +1,15 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, jheiling-extras
|
||||
, jheiling-js
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "electron";
|
||||
version = "2016-03-07";
|
||||
|
||||
idrisDeps = [ prelude contrib jheiling-extras jheiling-js ];
|
||||
idrisDeps = [ contrib jheiling-extras jheiling-js ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "jheiling";
|
||||
|
@ -31,6 +28,5 @@ build-idris-package {
|
|||
homepage = https://github.com/jheiling/idris-electron;
|
||||
license = lib.licenses.unlicense;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, effects
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "eternal";
|
||||
version = "2018-01-25";
|
||||
|
||||
idrisDeps = [ prelude effects ];
|
||||
idrisDeps = [ effects ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "Heather";
|
||||
|
@ -30,6 +28,5 @@ build-idris-package {
|
|||
homepage = https://github.com/Heather/Control.Eternal.Idris;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, effects
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "farrp";
|
||||
version = "2018-02-13";
|
||||
|
||||
idrisDeps = [ prelude effects ];
|
||||
idrisDeps = [ effects ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "lambda-11235";
|
||||
|
@ -23,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/lambda-11235/FarRP;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "free";
|
||||
version = "2017-07-03";
|
||||
|
||||
idrisDeps = [ prelude ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "idris-hackers";
|
||||
repo = "idris-free";
|
||||
|
@ -22,6 +18,5 @@ build-idris-package {
|
|||
homepage = https://github.com/idris-hackers/idris-free;
|
||||
license = lib.licenses.bsd2;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "fsm";
|
||||
version = "2017-04-16";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "ctford";
|
||||
repo = "flying-spaghetti-monster";
|
||||
|
@ -23,6 +18,5 @@ build-idris-package {
|
|||
homepage = https://github.com/ctford/flying-spaghetti-monster;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,17 +1,14 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, effects
|
||||
, lib
|
||||
, idris
|
||||
, pkgs
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "glfw";
|
||||
version = "2016-12-05";
|
||||
|
||||
idrisDeps = [ prelude effects ];
|
||||
idrisDeps = [ effects ];
|
||||
|
||||
extraBuildInputs = [ pkgs.glfw ];
|
||||
|
||||
|
@ -27,6 +24,5 @@ build-idris-package {
|
|||
homepage = https://github.com/eckart/glfw-idris;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitLab
|
||||
, prelude
|
||||
, lightyear
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "graphviz";
|
||||
version = "2017-01-16";
|
||||
|
||||
idrisDeps = [ prelude lightyear ];
|
||||
idrisDeps = [ lightyear ];
|
||||
|
||||
src = fetchFromGitLab {
|
||||
owner = "mgttlinger";
|
||||
|
@ -27,6 +25,5 @@ build-idris-package {
|
|||
homepage = https://github.com/mgttlinger/idris-graphviz;
|
||||
license = lib.licenses.gpl3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,14 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, effects
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "idris-hamt";
|
||||
version = "2016-11-15";
|
||||
|
||||
idrisDeps = [ prelude contrib effects ];
|
||||
idrisDeps = [ contrib effects ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "bamboo";
|
||||
|
@ -24,6 +22,5 @@ build-idris-package {
|
|||
homepage = https://github.com/bamboo/idris-hamt;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "heyting-algebra";
|
||||
version = "2017-08-18";
|
||||
|
||||
idrisDeps = [ prelude contrib ];
|
||||
idrisDeps = [ contrib ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "Risto-Stevcev";
|
||||
|
@ -23,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/Risto-Stevcev/idris-heyting-algebra;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "hezarfen";
|
||||
version = "2018-02-03";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "joom";
|
||||
repo = "hezarfen";
|
||||
|
@ -23,6 +18,5 @@ build-idris-package {
|
|||
homepage = https://github.com/joom/hezarfen;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, idrisscript
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "hrtime";
|
||||
version = "2017-04-16";
|
||||
|
||||
idrisDeps = [ prelude idrisscript ];
|
||||
idrisDeps = [ idrisscript ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "pierrebeaucamp";
|
||||
|
@ -23,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/pierrebeaucamp/idris-hrtime;
|
||||
license = lib.licenses.asl20;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,17 +1,15 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, idrisscript
|
||||
, hrtime
|
||||
, webgl
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "html";
|
||||
version = "2017-04-23";
|
||||
|
||||
idrisDeps = [ prelude idrisscript hrtime webgl ];
|
||||
idrisDeps = [ idrisscript hrtime webgl ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "pierrebeaucamp";
|
||||
|
@ -29,6 +27,5 @@ build-idris-package {
|
|||
homepage = https://github.com/pierrebeaucamp/idris-html;
|
||||
license = lib.licenses.asl20;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,17 +1,15 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, lightyear
|
||||
, bytes
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "http";
|
||||
version = "2018-02-25";
|
||||
|
||||
idrisDeps = [ prelude contrib lightyear bytes ];
|
||||
idrisDeps = [ contrib lightyear bytes ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "uwap";
|
||||
|
@ -25,6 +23,5 @@ build-idris-package {
|
|||
homepage = https://github.com/uwap/idris-http;
|
||||
license = lib.licenses.bsd2;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "http4idris";
|
||||
version = "2018-01-16";
|
||||
|
||||
idrisDeps = [ prelude contrib ];
|
||||
idrisDeps = [ contrib ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "A1kmm";
|
||||
|
@ -24,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/A1kmm/http4idris;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "iaia";
|
||||
version = "2017-11-10";
|
||||
|
||||
idrisDeps = [ prelude contrib ];
|
||||
idrisDeps = [ contrib ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "sellout";
|
||||
|
@ -23,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/sellout/Iaia;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,14 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, effects
|
||||
, lightyear
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "idrishighlighter";
|
||||
version = "2018-02-22";
|
||||
|
||||
idrisDeps = [ prelude effects lightyear ];
|
||||
idrisDeps = [ effects lightyear ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "david-christiansen";
|
||||
|
@ -24,6 +22,5 @@ build-idris-package {
|
|||
homepage = https://github.com/david-christiansen/idris-code-highlighter;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "idrisscript";
|
||||
version = "2017-07-01";
|
||||
|
||||
idrisDeps = [ prelude ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "idris-hackers";
|
||||
repo = "IdrisScript";
|
||||
|
@ -23,6 +18,5 @@ build-idris-package {
|
|||
homepage = https://github.com/idris-hackers/IdrisScript;
|
||||
license = lib.licenses.bsd2;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,17 +1,15 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, effects
|
||||
, lightyear
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "ipkgparser";
|
||||
version = "2017-11-14";
|
||||
|
||||
idrisDeps = [ prelude contrib effects lightyear ];
|
||||
idrisDeps = [ contrib effects lightyear ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "emptyflash";
|
||||
|
@ -24,6 +22,5 @@ build-idris-package {
|
|||
description = "Parser for Idris iPkg files written in Idris using Lightyear";
|
||||
homepage = https://github.com/emptyflash/idris-ipkg-parser;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "extras";
|
||||
version = "2018-03-06";
|
||||
|
||||
idrisDeps = [ prelude contrib ];
|
||||
idrisDeps = [ contrib ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "jheiling";
|
||||
|
@ -24,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/jheiling/idris-extras;
|
||||
license = lib.licenses.unlicense;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,17 +1,14 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, jheiling-extras
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "jheiling-js";
|
||||
version = "2016-03-09";
|
||||
|
||||
idrisDeps = [ prelude contrib jheiling-extras ];
|
||||
idrisDeps = [ contrib jheiling-extras ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "jheiling";
|
||||
|
@ -25,6 +22,5 @@ build-idris-package {
|
|||
homepage = https://github.com/jheiling/idris-js;
|
||||
license = lib.licenses.unlicense;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,14 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, pruviloj
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "js";
|
||||
version = "2018-11-27";
|
||||
|
||||
idrisDeps = [ prelude contrib pruviloj ];
|
||||
idrisDeps = [ contrib pruviloj ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "rbarreiro";
|
||||
|
@ -24,6 +22,5 @@ build-idris-package {
|
|||
homepage = https://github.com/rbarreiro/idrisjs;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, bifunctors
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "lens";
|
||||
version = "2017-09-25";
|
||||
|
||||
idrisDeps = [ prelude bifunctors ];
|
||||
idrisDeps = [ bifunctors ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "HuwCampbell";
|
||||
|
@ -24,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/HuwCampbell/idris-lens;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,17 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, effects
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "lightyear";
|
||||
version = "2017-09-10";
|
||||
|
||||
idrisDeps = [ prelude base effects ];
|
||||
idrisDeps = [ effects ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "ziman";
|
||||
|
@ -25,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/ziman/lightyear;
|
||||
license = lib.licenses.bsd2;
|
||||
maintainers = with lib.maintainers; [ siddharthist brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, bifunctors
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "logic";
|
||||
version = "2016-12-02";
|
||||
|
||||
idrisDeps = [ prelude bifunctors ];
|
||||
idrisDeps = [ bifunctors ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "yurrriq";
|
||||
|
@ -26,6 +24,5 @@ build-idris-package {
|
|||
homepage = https://github.com/yurrriq/idris-logic;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "mapping";
|
||||
version = "2018-02-27";
|
||||
|
||||
idrisDeps = [ prelude ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "zaoqi";
|
||||
repo = "Mapping.idr";
|
||||
|
@ -23,6 +18,5 @@ build-idris-package {
|
|||
homepage = https://github.com/zaoqi/Mapping.idr;
|
||||
license = lib.licenses.agpl3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,18 +1,15 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, effects
|
||||
, libmicrohttpd
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "mhd";
|
||||
version = "2016-04-22";
|
||||
|
||||
idrisDeps = [ prelude contrib effects ];
|
||||
idrisDeps = [ contrib effects ];
|
||||
|
||||
extraBuildInputs = [ libmicrohttpd ];
|
||||
|
||||
|
@ -28,6 +25,5 @@ build-idris-package {
|
|||
homepage = https://github.com/colin-adams/idris-libmicrohttpd;
|
||||
license = lib.licenses.lgpl21;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,14 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, sdl2
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "pacman";
|
||||
version = "2017-11-10";
|
||||
|
||||
idrisDeps = [ prelude contrib sdl2 ];
|
||||
idrisDeps = [ contrib sdl2 ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "jdublu10";
|
||||
|
@ -27,6 +25,5 @@ build-idris-package {
|
|||
description = "Proof that Idris is pacman complete";
|
||||
homepage = https://github.com/jdublu10/pacman;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, specdris
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "patricia";
|
||||
version = "2017-10-27";
|
||||
|
||||
idrisDeps = [ prelude specdris ];
|
||||
idrisDeps = [ specdris ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "ChShersh";
|
||||
|
@ -27,6 +25,5 @@ build-idris-package {
|
|||
homepage = https://github.com/ChShersh/idris-patricia;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "permutations";
|
||||
version = "2018-01-19";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "vmchale";
|
||||
repo = "permutations";
|
||||
|
@ -27,6 +22,5 @@ build-idris-package {
|
|||
homepage = https://github.com/vmchale/permutations;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "pfds";
|
||||
version = "2017-09-25";
|
||||
|
||||
idrisDeps = [ prelude contrib ];
|
||||
idrisDeps = [ contrib ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "timjb";
|
||||
|
@ -23,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/timjb/idris-pfds;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "pipes";
|
||||
version = "2017-12-02";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "QuentinDuval";
|
||||
repo = "IdrisPipes";
|
||||
|
@ -23,6 +18,5 @@ build-idris-package {
|
|||
homepage = https://github.com/QuentinDuval/IdrisPipes;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "posix";
|
||||
version = "2017-11-18";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "idris-hackers";
|
||||
repo = "idris-posix";
|
||||
|
@ -25,6 +20,5 @@ build-idris-package {
|
|||
description = "System POSIX bindings for Idris.";
|
||||
homepage = https://github.com/idris-hackers/idris-posix;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, lightyear
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "protobuf";
|
||||
version = "2017-08-12";
|
||||
|
||||
idrisDeps = [ prelude lightyear ];
|
||||
idrisDeps = [ lightyear ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "artagnon";
|
||||
|
@ -23,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/artagnon/idris-protobuf;
|
||||
license = lib.licenses.asl20;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,13 @@
|
|||
{ curl
|
||||
, build-idris-package
|
||||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "rationals";
|
||||
version = "2017-04-29";
|
||||
|
||||
idrisDeps = [ prelude contrib ];
|
||||
idrisDeps = [ contrib ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "mcgordonite";
|
||||
|
@ -22,7 +19,6 @@ build-idris-package {
|
|||
meta = {
|
||||
description = "An idris rational number type built from paths in the Stern Brocot tree";
|
||||
homepage = https://github.com/mcgordonite/idris-binary-rationals;
|
||||
inherit (idris.meta) platforms;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,19 +1,17 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, free
|
||||
, composition
|
||||
, comonad
|
||||
, bifunctors
|
||||
, hezarfen
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "recursion_schemes";
|
||||
version = "2018-01-19";
|
||||
|
||||
idrisDeps = [ prelude free composition comonad bifunctors hezarfen ];
|
||||
idrisDeps = [ free composition comonad bifunctors hezarfen ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "vmchale";
|
||||
|
@ -31,6 +29,5 @@ build-idris-package {
|
|||
homepage = https://github.com/vmchale/recursion_schemes;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "refined";
|
||||
version = "2017-12-28";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "janschultecom";
|
||||
repo = "idris-refined";
|
||||
|
@ -27,6 +22,5 @@ build-idris-package {
|
|||
homepage = https://github.com/janschultecom/idris-refined;
|
||||
license = lib.licenses.asl20;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,20 +1,17 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, effects
|
||||
, lib
|
||||
, idris
|
||||
, SDL
|
||||
, SDL_gfx
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "sdl";
|
||||
version = "2017-03-24";
|
||||
|
||||
idrisDeps = [ prelude effects ];
|
||||
idrisDeps = [ effects ];
|
||||
|
||||
extraBuildInputs = [ idris SDL SDL_gfx ];
|
||||
extraBuildInputs = [ SDL SDL_gfx ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "edwinb";
|
||||
|
@ -27,6 +24,5 @@ build-idris-package {
|
|||
description = "SDL-idris framework for Idris";
|
||||
homepage = https://github.com/edwinb/SDL-idris;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,21 +1,18 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, effects
|
||||
, lib
|
||||
, idris
|
||||
, pkgconfig
|
||||
, SDL2
|
||||
, SDL2_gfx
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "sdl2";
|
||||
version = "2018-01-19";
|
||||
|
||||
idrisDeps = [ prelude effects ];
|
||||
idrisDeps = [ effects ];
|
||||
|
||||
extraBuildInputs = [ idris pkgconfig SDL2 SDL2_gfx ];
|
||||
extraBuildInputs = [ pkgconfig SDL2 SDL2_gfx ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "steshaw";
|
||||
|
@ -28,6 +25,5 @@ build-idris-package {
|
|||
description = "SDL2 binding for Idris";
|
||||
homepage = https://github.com/steshaw/idris-sdl2;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,14 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, patricia
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "semidirect";
|
||||
version = "2018-02-06";
|
||||
|
||||
idrisDeps = [ prelude contrib patricia ];
|
||||
idrisDeps = [ contrib patricia ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "clayrat";
|
||||
|
@ -23,6 +21,5 @@ build-idris-package {
|
|||
description = "Semidirect products in Idris";
|
||||
homepage = https://github.com/clayrat/idris-semidirect;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "setoids";
|
||||
version = "2017-03-13";
|
||||
|
||||
idrisDeps = [ prelude ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "danilkolikov";
|
||||
repo = "setoids";
|
||||
|
@ -21,6 +17,5 @@ build-idris-package {
|
|||
description = "Idris proofs for extensional equalities";
|
||||
homepage = https://github.com/danilkolikov/setoids;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, contrib
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "smproc";
|
||||
version = "2018-02-08";
|
||||
|
||||
idrisDeps = [ prelude base contrib ];
|
||||
idrisDeps = [ contrib ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "jameshaydon";
|
||||
|
@ -24,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/jameshaydon/smproc;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "snippets";
|
||||
version = "2018-03-17";
|
||||
|
||||
idrisDeps = [ prelude contrib ];
|
||||
idrisDeps = [ contrib ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "palladin";
|
||||
|
@ -23,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/palladin/idris-snippets;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, pruviloj
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "software_foundations";
|
||||
version = "2017-11-04";
|
||||
|
||||
idrisDeps = [ prelude pruviloj ];
|
||||
idrisDeps = [ pruviloj ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "idris-hackers";
|
||||
|
@ -22,6 +20,5 @@ build-idris-package {
|
|||
description = "Code for Software Foundations in Idris";
|
||||
homepage = https://github.com/idris-hackers/software-foundations;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,23 +1,20 @@
|
|||
{ build-idris-package
|
||||
, fetchgit
|
||||
, prelude
|
||||
, base
|
||||
, fetchFromGitHub
|
||||
, effects
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "specdris";
|
||||
version = "2018-01-23";
|
||||
|
||||
src = fetchgit {
|
||||
url = "https://github.com/pheymann/specdris";
|
||||
src = fetchFromGitHub {
|
||||
owner = "pheymann";
|
||||
repo = "specdris";
|
||||
rev = "625f88f5e118e53f30bcf5e5f3dcf48eb268ac21";
|
||||
sha256 = "1gc717xf4i7z75aqazy5wqm7b1dqfyx5pprdypxz1h3980m67fsa";
|
||||
};
|
||||
|
||||
idrisDeps = [ prelude base effects idris ];
|
||||
idrisDeps = [ effects ];
|
||||
|
||||
# tests use a different ipkg and directory structure
|
||||
doCheck = false;
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "tap";
|
||||
version = "2017-04-08";
|
||||
|
||||
idrisDeps = [ prelude contrib ];
|
||||
idrisDeps = [ contrib ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "ostera";
|
||||
|
@ -27,6 +25,5 @@ build-idris-package {
|
|||
homepage = https://github.com/ostera/tap-idris;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, effects
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "test";
|
||||
version = "2017-03-30";
|
||||
|
||||
idrisDeps = [ prelude effects ];
|
||||
idrisDeps = [ effects ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "jfdm";
|
||||
|
@ -19,7 +16,6 @@ build-idris-package {
|
|||
sha256 = "1pmyhs3jx6wd0pzjd3igfxb9zjs8pqmk4ah352bxjrqdnhqwrl51";
|
||||
};
|
||||
|
||||
|
||||
doCheck = false;
|
||||
|
||||
meta = {
|
||||
|
@ -27,6 +23,5 @@ build-idris-package {
|
|||
homepage = https://github.com/jfdm/idris-testing;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,18 +1,15 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, effects
|
||||
, contrib
|
||||
, lightyear
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "tlhydra";
|
||||
version = "2017-13-26";
|
||||
|
||||
idrisDeps = [ prelude effects contrib lightyear ];
|
||||
idrisDeps = [ effects contrib lightyear ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "Termina1";
|
||||
|
@ -25,6 +22,5 @@ build-idris-package {
|
|||
description = "Idris parser and serializer/deserealizer for TL language";
|
||||
homepage = https://github.com/Termina1/tlhydra;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,17 +1,14 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, lightyear
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "tomladris";
|
||||
version = "2017-11-14";
|
||||
|
||||
idrisDeps = [ prelude lightyear contrib ];
|
||||
idrisDeps = [ lightyear contrib ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "emptyflash";
|
||||
|
@ -25,6 +22,5 @@ build-idris-package {
|
|||
homepage = https://github.com/emptyflash/tomladris;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = with lib.maintainers; [ siddharthist brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "tp";
|
||||
version = "2017-08-15";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "superfunc";
|
||||
repo = "tp";
|
||||
|
@ -26,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/superfunc/tp;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "tparsec";
|
||||
version = "2017-12-12";
|
||||
|
||||
idrisDeps = [ prelude ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "gallais";
|
||||
repo = "idris-tparsec";
|
||||
|
@ -23,6 +18,5 @@ build-idris-package {
|
|||
homepage = https://github.com/gallais/idris-tparsec;
|
||||
license = lib.licenses.gpl3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "transducers";
|
||||
version = "2017-07-28";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "QuentinDuval";
|
||||
repo = "IdrisReducers";
|
||||
|
@ -23,6 +18,5 @@ build-idris-package {
|
|||
homepage = https://github.com/QuentinDuval/IdrisReducers;
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,14 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, bi
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "trees";
|
||||
version = "2018-03-19";
|
||||
|
||||
idrisDeps = [ prelude contrib bi ];
|
||||
idrisDeps = [ contrib bi ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "clayrat";
|
||||
|
@ -23,6 +21,5 @@ build-idris-package {
|
|||
description = "Trees in Idris";
|
||||
homepage = https://github.com/clayrat/idris-trees;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "union_type";
|
||||
version = "2018-01-30";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "berewt";
|
||||
repo = "UnionType";
|
||||
|
@ -23,6 +18,5 @@ build-idris-package {
|
|||
homepage = https://github.com/berewt/UnionType;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,11 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "vdom";
|
||||
version = "0.6.0";
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "brandondyck";
|
||||
repo = "idris-vdom";
|
||||
|
@ -23,6 +18,5 @@ build-idris-package {
|
|||
homepage = https://github.com/brandondyck/idris-vdom;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "vecspace";
|
||||
version = "2018-01-12";
|
||||
|
||||
idrisDeps = [ prelude contrib ];
|
||||
idrisDeps = [ contrib ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "clayrat";
|
||||
|
@ -22,6 +20,5 @@ build-idris-package {
|
|||
description = "Abstract vector spaces in Idris";
|
||||
homepage = https://github.com/clayrat/idris-vecspace;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, idrisscript
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "webgl";
|
||||
version = "2017-05-08";
|
||||
|
||||
idrisDeps = [ prelude idrisscript ];
|
||||
idrisDeps = [ idrisscript ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "pierrebeaucamp";
|
||||
|
@ -23,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/pierrebeaucamp/idris-webgl;
|
||||
license = lib.licenses.asl20;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,9 +1,6 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, base
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "wl-pprint";
|
||||
|
@ -16,12 +13,9 @@ build-idris-package {
|
|||
sha256 = "0ifp76cqg340jkkzanx69vg76qivv53vh1lzv9zkp5f49prkwl5d";
|
||||
};
|
||||
|
||||
idrisDeps = [ prelude base ];
|
||||
|
||||
meta = {
|
||||
description = "Wadler-Leijen pretty-printing library";
|
||||
homepage = https://github.com/shayan-najd/wl-pprint;
|
||||
license = lib.licenses.bsd2;
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,14 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, effects
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "wyvern";
|
||||
version = "2017-06-26";
|
||||
|
||||
idrisDeps = [ prelude contrib effects ];
|
||||
idrisDeps = [ contrib effects ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "ericqweinstein";
|
||||
|
@ -28,6 +26,5 @@ build-idris-package {
|
|||
homepage = https://github.com/ericqweinstein/wyvern;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, idrisscript
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "xhr";
|
||||
version = "2017-04-22";
|
||||
|
||||
idrisDeps = [ prelude idrisscript ];
|
||||
idrisDeps = [ idrisscript ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "pierrebeaucamp";
|
||||
|
@ -23,6 +21,5 @@ build-idris-package {
|
|||
homepage = https://github.com/pierrebeaucamp/idris-xhr;
|
||||
license = lib.licenses.asl20;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,16 +1,14 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, contrib
|
||||
, lightyear
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "yaml";
|
||||
version = "2018-01-25";
|
||||
|
||||
idrisDeps = [ prelude contrib lightyear ];
|
||||
idrisDeps = [ contrib lightyear ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "Heather";
|
||||
|
@ -24,6 +22,5 @@ build-idris-package {
|
|||
homepage = https://github.com/Heather/Idris.Yaml;
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
|
@ -1,15 +1,13 @@
|
|||
{ build-idris-package
|
||||
, fetchFromGitHub
|
||||
, prelude
|
||||
, bifunctors
|
||||
, lib
|
||||
, idris
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "yampa";
|
||||
version = "2016-07-05";
|
||||
|
||||
idrisDeps = [ prelude bifunctors ];
|
||||
idrisDeps = [ bifunctors ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "BartAdv";
|
||||
|
@ -22,6 +20,5 @@ build-idris-package {
|
|||
description = "Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types";
|
||||
homepage = https://github.com/BartAdv/idris-yampa;
|
||||
maintainers = [ lib.maintainers.brainrape ];
|
||||
inherit (idris.meta) platforms;
|
||||
};
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue