tjh.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 contrib,
5 lib,
6}:
7build-idris-package {
8 pname = "smproc";
9 version = "2018-02-08";
10
11 idrisDeps = [ contrib ];
12
13 src = fetchFromGitHub {
14 owner = "jameshaydon";
15 repo = "smproc";
16 rev = "b292d6c94fe005bcd984b8e5134b6f99933aa0af";
17 sha256 = "02gqa2a32dwrvgz6pwsg8bniszbzwxlkzm53fq81sz3l9ja8ax1n";
18 };
19
20 meta = {
21 description = "Well-typed symmetric-monoidal category of concurrent processes";
22 homepage = "https://github.com/jameshaydon/smproc";
23 license = lib.licenses.mit;
24 maintainers = [ lib.maintainers.brainrape ];
25 };
26}