Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
574 B · 26 lines
Nix
123456789101112131415161718192021222324252627{ build-idris-package, fetchFromGitHub, lib,}:build-idris-package { pname = "tp"; version = "2017-08-15";
src = fetchFromGitHub { owner = "superfunc"; repo = "tp"; rev = "ef59ccf355ae462bd4f55d596e6d03a9376b67b2"; sha256 = "1a924qvm1dqfg419x8n35w0sz74vyyqsynz5g393f82jsrrwci8z"; };
# tests fail with permission error doCheck = false;
meta = { description = "Strongly Typed Paths for Idris"; homepage = "https://github.com/superfunc/tp"; license = lib.licenses.mit; maintainers = [ lib.maintainers.brainrape ]; };}