alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

Merge pull request #40168 from brainrape/init-idrisPackages-vdom

Browse source 
idrisPackages.vdom: init at 0.6.0
This commit is contained in:
Matthew Justin Bauer 2018-05-09 16:06:44 +00:00 committed by GitHub
parent a1eea8454d bf02618e1f
commit b9054ec551
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 30 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkgs/development/idris-modules/default.nix
View file

@ -194,6 +194,8 @@
union_type = callPackage ./union_type.nix {};
vdom = callPackage ./vdom.nix {};
vecspace = callPackage ./vecspace.nix {};
webgl = callPackage ./webgl.nix {};

28
pkgs/development/idris-modules/vdom.nix Normal file
View file

@ -0,0 +1,28 @@
{ 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";
rev = "ff32c14feeac937f7418830a9a3463cd9582be8a";
sha256 = "0aila1qdpmhrp556dzaxk7yn7vgkwcnbp9jhw8f8pl51xs3s2kvf";
};
meta = {
description = "Virtual DOM in pure Idris";
homepage = https://github.com/brandondyck/idris-vdom;
license = lib.licenses.mit;
maintainers = [ lib.maintainers.brainrape ];
inherit (idris.meta) platforms;
};
}