Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
604 B · 26 lines
Nix
123456789101112131415161718192021222324252627{ build-idris-package, fetchFromGitHub, contrib, lib,}:build-idris-package { pname = "smproc"; version = "2018-02-08";
idrisDeps = [ contrib ];
src = fetchFromGitHub { owner = "jameshaydon"; repo = "smproc"; rev = "b292d6c94fe005bcd984b8e5134b6f99933aa0af"; sha256 = "02gqa2a32dwrvgz6pwsg8bniszbzwxlkzm53fq81sz3l9ja8ax1n"; };
meta = { description = "Well-typed symmetric-monoidal category of concurrent processes"; homepage = "https://github.com/jameshaydon/smproc"; license = lib.licenses.mit; maintainers = [ lib.maintainers.brainrape ]; };}