Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
653 B · 31 lines
Nix
1234567891011121314151617181920212223242526272829303132{ build-idris-package, fetchFromGitHub, contrib, pruviloj, lib,}:build-idris-package { pname = "bi"; version = "2018-06-25";
ipkgName = "Bi"; idrisDeps = [ contrib pruviloj ];
src = fetchFromGitHub { owner = "sbp"; repo = "idris-bi"; rev = "6bd90fb30b06ab02438efb5059e2fc699fdc7787"; sha256 = "1px550spigl8k1m1r64mjrw7qjvipa43xy95kz1pb5ibmy84d6r3"; };
meta = { description = "Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq"; homepage = "https://github.com/sbp/idris-bi"; license = lib.licenses.bsd3; maintainers = [ lib.maintainers.brainrape ]; };}