tjh.dev
fork
Configure Feed
Select the types of activity you want to include in your feed.
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
fork
Configure Feed
Select the types of activity you want to include in your feed.
1{ build-idris-package
2, fetchFromGitHub
3, lib
4}:
5build-idris-package {
6 pname = "coda";
7 version = "2018-01-25";
8
9 ipkgName = "Coda";
10
11 src = fetchFromGitHub {
12 owner = "ostera";
13 repo = "idris-coda";
14 rev = "0d8b29b7b73aa1ea80bf216e5e6dea5e81156e32";
15 sha256 = "07wps3pyp4ph0vj3640x561gkjkbcdq1if9h6sjjb30924sbdxfg";
16 };
17
18 meta = {
19 description = "Some Idris libraries including nodejs bindings and ISO8601 Date and Time";
20 homepage = "https://github.com/ostera/idris-coda";
21 license = lib.licenses.bsd3;
22 maintainers = [ lib.maintainers.brainrape ];
23 };
24}