Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
596 B · 25 lines
Nix
1234567891011121314151617181920212223242526{ build-idris-package, fetchFromGitHub, pruviloj, lib,}:build-idris-package { pname = "software_foundations"; version = "2017-11-04";
idrisDeps = [ pruviloj ];
src = fetchFromGitHub { owner = "idris-hackers"; repo = "software-foundations"; rev = "eaa63d1a572c78e7ce68d27fd49ffdc01457e720"; sha256 = "1rkjm0x79n1r3ah041a5bik7sc3rvqs42a2c3g139hlg5xd028xf"; };
meta = { description = "Code for Software Foundations in Idris"; homepage = "https://github.com/idris-hackers/software-foundations"; maintainers = [ lib.maintainers.brainrape ]; };}