idris-modules: rename name to pname
This commit is contained in:
Felix Buehler
parent
23e6a16972
commit
3df56ed3e4
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "array";
|
||||
pname = "array";
|
||||
version = "2016-10-14";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "bi";
|
||||
pname = "bi";
|
||||
version = "2018-06-25";
|
||||
|
||||
ipkgName = "Bi";
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "bifunctors";
|
||||
pname = "bifunctors";
|
||||
version = "2017-02-07";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -1,13 +1,13 @@
|
|||
# Build one of the packages that comes with idris
|
||||
# name: The name of the package
|
||||
# pname: The pname of the package
|
||||
# deps: The dependencies of the package
|
||||
{ idris, build-idris-package }: name: deps:
|
||||
{ idris, build-idris-package }: pname: deps:
|
||||
let
|
||||
inherit (builtins.parseDrvName idris.name) version;
|
||||
in
|
||||
build-idris-package {
|
||||
|
||||
inherit name version;
|
||||
inherit pname version;
|
||||
inherit (idris) src;
|
||||
|
||||
noPrelude = true;
|
||||
|
|
@ -16,10 +16,10 @@ build-idris-package {
|
|||
idrisDeps = deps;
|
||||
|
||||
postUnpack = ''
|
||||
sourceRoot=$sourceRoot/libs/${name}
|
||||
sourceRoot=$sourceRoot/libs/${pname}
|
||||
'';
|
||||
|
||||
meta = idris.meta // {
|
||||
description = "${name} builtin Idris library";
|
||||
description = "${pname} builtin Idris library";
|
||||
};
|
||||
}
|
||||
|
|
|
|||
|
|
@ -3,9 +3,9 @@
|
|||
{ idrisDeps ? []
|
||||
, noPrelude ? false
|
||||
, noBase ? false
|
||||
, name
|
||||
, pname
|
||||
, version
|
||||
, ipkgName ? name
|
||||
, ipkgName ? pname
|
||||
, extraBuildInputs ? []
|
||||
, idrisBuildOptions ? []
|
||||
, idrisTestOptions ? []
|
||||
|
|
@ -20,7 +20,7 @@ let
|
|||
idris-with-packages = with-packages allIdrisDeps;
|
||||
newAttrs = builtins.removeAttrs attrs [
|
||||
"idrisDeps" "noPrelude" "noBase"
|
||||
"name" "version" "ipkgName" "extraBuildInputs"
|
||||
"pname" "version" "ipkgName" "extraBuildInputs"
|
||||
] // {
|
||||
meta = attrs.meta // {
|
||||
platforms = attrs.meta.platforms or idris.meta.platforms;
|
||||
|
|
@ -28,7 +28,8 @@ let
|
|||
};
|
||||
in
|
||||
stdenv.mkDerivation ({
|
||||
name = "idris-${name}-${version}";
|
||||
pname = "idris-${pname}";
|
||||
inherit version;
|
||||
|
||||
buildInputs = [ idris-with-packages gmp ] ++ extraBuildInputs;
|
||||
propagatedBuildInputs = allIdrisDeps;
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "bytes";
|
||||
pname = "bytes";
|
||||
version = "2018-02-10";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "canvas";
|
||||
pname = "canvas";
|
||||
version = "2017-11-09";
|
||||
|
||||
ipkgName = "idriscanvas";
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "categories";
|
||||
pname = "categories";
|
||||
version = "2018-07-02";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "coda";
|
||||
pname = "coda";
|
||||
version = "2018-01-25";
|
||||
|
||||
ipkgName = "Coda";
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "comonad";
|
||||
pname = "comonad";
|
||||
version = "2018-02-26";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "composition";
|
||||
pname = "composition";
|
||||
version = "2017-11-12";
|
||||
|
||||
idrisDeps = [ hezarfen ];
|
||||
|
|
|
|||
|
|
@ -7,7 +7,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "config";
|
||||
pname = "config";
|
||||
version = "2017-11-06";
|
||||
|
||||
idrisDeps = [ effects containers lightyear test ];
|
||||
|
|
|
|||
|
|
@ -6,7 +6,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "console";
|
||||
pname = "console";
|
||||
version = "2017-04-20";
|
||||
|
||||
idrisDeps = [ idrisscript hrtime webgl ];
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "containers";
|
||||
pname = "containers";
|
||||
version = "2017-09-10";
|
||||
|
||||
idrisDeps = [ effects test ];
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "cube";
|
||||
pname = "cube";
|
||||
version = "2017-07-05";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "derive";
|
||||
pname = "derive";
|
||||
version = "2018-07-02";
|
||||
|
||||
idrisDeps = [ contrib pruviloj ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "descncrunch";
|
||||
pname = "descncrunch";
|
||||
version = "2017-11-15";
|
||||
|
||||
idrisDeps = [ pruviloj ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "dict";
|
||||
pname = "dict";
|
||||
version = "2016-12-26";
|
||||
|
||||
idrisDeps = [ contrib ];
|
||||
|
|
|
|||
|
|
@ -6,7 +6,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "dom";
|
||||
pname = "dom";
|
||||
version = "2017-04-22";
|
||||
|
||||
idrisDeps = [ idrisscript html xhr ];
|
||||
|
|
|
|||
|
|
@ -6,7 +6,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "electron";
|
||||
pname = "electron";
|
||||
version = "2016-03-07";
|
||||
|
||||
idrisDeps = [ contrib jheiling-extras jheiling-js ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "eternal";
|
||||
pname = "eternal";
|
||||
version = "2018-07-02";
|
||||
|
||||
idrisDeps = [ effects ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "farrp";
|
||||
pname = "farrp";
|
||||
version = "2018-02-13";
|
||||
|
||||
idrisDeps = [ effects ];
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "free";
|
||||
pname = "free";
|
||||
version = "2017-07-03";
|
||||
|
||||
ipkgName = "idris-free";
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "fsm";
|
||||
pname = "fsm";
|
||||
version = "2017-04-16";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
, pkgs
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "glfw";
|
||||
pname = "glfw";
|
||||
version = "2016-12-05";
|
||||
|
||||
idrisDeps = [ effects ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "graphviz";
|
||||
pname = "graphviz";
|
||||
version = "2017-01-16";
|
||||
|
||||
idrisDeps = [ lightyear ];
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "hamt";
|
||||
pname = "hamt";
|
||||
version = "2016-11-15";
|
||||
|
||||
idrisDeps = [ contrib effects ];
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "hezarfen";
|
||||
pname = "hezarfen";
|
||||
version = "2018-02-03";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "hrtime";
|
||||
pname = "hrtime";
|
||||
version = "2017-04-16";
|
||||
|
||||
ipkgName = "hrTime";
|
||||
|
|
|
|||
|
|
@ -6,7 +6,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "html";
|
||||
pname = "html";
|
||||
version = "2017-04-23";
|
||||
|
||||
idrisDeps = [ idrisscript hrtime webgl ];
|
||||
|
|
|
|||
|
|
@ -6,7 +6,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "http";
|
||||
pname = "http";
|
||||
version = "2018-02-25";
|
||||
|
||||
idrisDeps = [ contrib lightyear bytes ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "http4idris";
|
||||
pname = "http4idris";
|
||||
version = "2018-01-16";
|
||||
|
||||
idrisDeps = [ contrib ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "iaia";
|
||||
pname = "iaia";
|
||||
version = "2017-11-10";
|
||||
|
||||
idrisDeps = [ contrib ];
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "idrishighlighter";
|
||||
pname = "idrishighlighter";
|
||||
version = "2018-02-22";
|
||||
|
||||
ipkgName = "idris-code-highlighter";
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "idrisscript";
|
||||
pname = "idrisscript";
|
||||
version = "2017-07-01";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -6,7 +6,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "ipkgparser";
|
||||
pname = "ipkgparser";
|
||||
version = "2017-11-14";
|
||||
|
||||
idrisDeps = [ contrib effects lightyear ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "extras";
|
||||
pname = "extras";
|
||||
version = "2018-03-06";
|
||||
|
||||
idrisDeps = [ contrib ];
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "jheiling-js";
|
||||
pname = "jheiling-js";
|
||||
version = "2016-03-09";
|
||||
|
||||
ipkgName = "js";
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "js";
|
||||
pname = "js";
|
||||
version = "2018-11-27";
|
||||
|
||||
idrisDeps = [ contrib pruviloj ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "lens";
|
||||
pname = "lens";
|
||||
version = "2017-09-25";
|
||||
|
||||
idrisDeps = [ bifunctors ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "lightyear";
|
||||
pname = "lightyear";
|
||||
version = "2017-09-10";
|
||||
|
||||
idrisDeps = [ effects ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "logic";
|
||||
pname = "logic";
|
||||
version = "2016-12-02";
|
||||
|
||||
idrisDeps = [ bifunctors ];
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "mapping";
|
||||
pname = "mapping";
|
||||
version = "2018-02-27";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -6,7 +6,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "mhd";
|
||||
pname = "mhd";
|
||||
version = "2016-04-22";
|
||||
|
||||
ipkgName = "MHD";
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "pacman";
|
||||
pname = "pacman";
|
||||
version = "2017-11-10";
|
||||
|
||||
idrisDeps = [ contrib sdl2 ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "patricia";
|
||||
pname = "patricia";
|
||||
version = "2017-10-27";
|
||||
|
||||
idrisDeps = [ specdris ];
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "permutations";
|
||||
pname = "permutations";
|
||||
version = "2018-01-19";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "pfds";
|
||||
pname = "pfds";
|
||||
version = "2017-09-25";
|
||||
|
||||
idrisDeps = [ contrib ];
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "pipes";
|
||||
pname = "pipes";
|
||||
version = "2017-12-02";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "posix";
|
||||
pname = "posix";
|
||||
version = "2017-11-18";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "quantities";
|
||||
pname = "quantities";
|
||||
version = "2018-04-17";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "rationals";
|
||||
pname = "rationals";
|
||||
version = "2017-04-29";
|
||||
|
||||
idrisDeps = [ contrib ];
|
||||
|
|
|
|||
|
|
@ -8,7 +8,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "recursion_schemes";
|
||||
pname = "recursion_schemes";
|
||||
version = "2018-01-19";
|
||||
|
||||
idrisDeps = [ free composition comonad bifunctors hezarfen ];
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "refined";
|
||||
pname = "refined";
|
||||
version = "2017-12-28";
|
||||
|
||||
ipkgName = "idris-refined";
|
||||
|
|
|
|||
|
|
@ -6,7 +6,7 @@
|
|||
, SDL_gfx
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "sdl";
|
||||
pname = "sdl";
|
||||
version = "2017-03-24";
|
||||
|
||||
idrisDeps = [ effects ];
|
||||
|
|
|
|||
|
|
@ -7,7 +7,7 @@
|
|||
, SDL2_gfx
|
||||
}:
|
||||
build-idris-package rec {
|
||||
name = "sdl2";
|
||||
pname = "sdl2";
|
||||
version = "0.1.1";
|
||||
|
||||
idrisDeps = [ effects ];
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "semidirect";
|
||||
pname = "semidirect";
|
||||
version = "2018-07-02";
|
||||
|
||||
idrisDeps = [ contrib patricia ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "setoids";
|
||||
pname = "setoids";
|
||||
version = "2018-06-18";
|
||||
|
||||
idrisDeps = [ contrib ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "smproc";
|
||||
pname = "smproc";
|
||||
version = "2018-02-08";
|
||||
|
||||
idrisDeps = [ contrib ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "snippets";
|
||||
pname = "snippets";
|
||||
version = "2018-03-17";
|
||||
|
||||
ipkgName = "idris-snippets";
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "software_foundations";
|
||||
pname = "software_foundations";
|
||||
version = "2017-11-04";
|
||||
|
||||
idrisDeps = [ pruviloj ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "specdris";
|
||||
pname = "specdris";
|
||||
version = "2018-01-23";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "tap";
|
||||
pname = "tap";
|
||||
version = "2017-04-08";
|
||||
|
||||
ipkgName = "TAP";
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "test";
|
||||
pname = "test";
|
||||
version = "2017-03-30";
|
||||
|
||||
idrisDeps = [ effects ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
}:
|
||||
|
||||
build-idris-package {
|
||||
name = "tf-random";
|
||||
pname = "tf-random";
|
||||
version = "2020-01-15";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -6,7 +6,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "tlhydra";
|
||||
pname = "tlhydra";
|
||||
version = "2017-13-26";
|
||||
|
||||
idrisDeps = [ effects contrib lightyear ];
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "tomladris";
|
||||
pname = "tomladris";
|
||||
version = "2017-11-14";
|
||||
|
||||
idrisDeps = [ lightyear contrib ];
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "tp";
|
||||
pname = "tp";
|
||||
version = "2017-08-15";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "tparsec";
|
||||
pname = "tparsec";
|
||||
version = "2020-02-11";
|
||||
|
||||
ipkgName = "TParsec";
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "transducers";
|
||||
pname = "transducers";
|
||||
version = "2017-07-28";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "trees";
|
||||
pname = "trees";
|
||||
version = "2018-03-19";
|
||||
|
||||
idrisDeps = [ contrib bi ];
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "union_type";
|
||||
pname = "union_type";
|
||||
version = "2018-01-30";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "vdom";
|
||||
pname = "vdom";
|
||||
version = "0.6.0";
|
||||
|
||||
ipkgName = "idris-vdom";
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "vecspace";
|
||||
pname = "vecspace";
|
||||
version = "2018-01-12";
|
||||
|
||||
idrisDeps = [ contrib ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "webgl";
|
||||
pname = "webgl";
|
||||
version = "2017-05-08";
|
||||
|
||||
idrisDeps = [ idrisscript ];
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "wl-pprint";
|
||||
pname = "wl-pprint";
|
||||
version = "2017-03-13";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "wyvern";
|
||||
pname = "wyvern";
|
||||
version = "2017-06-26";
|
||||
|
||||
idrisDeps = [ contrib effects ];
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "xhr";
|
||||
pname = "xhr";
|
||||
version = "2017-04-22";
|
||||
|
||||
idrisDeps = [ idrisscript ];
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "yaml";
|
||||
pname = "yaml";
|
||||
version = "2018-01-25";
|
||||
|
||||
ipkgName = "Yaml";
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
, lib
|
||||
}:
|
||||
build-idris-package {
|
||||
name = "yampa";
|
||||
pname = "yampa";
|
||||
version = "2016-07-05";
|
||||
|
||||
ipkgName = "idris-yampa";
|
||||
|
|
|
|||
Loading…
Reference in a new issue