Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
613 B · 25 lines
Nix
1234567891011121314151617181920212223242526{ build-idris-package, fetchFromGitHub, contrib, lib,}:build-idris-package { pname = "rationals"; version = "2017-04-29";
idrisDeps = [ contrib ];
src = fetchFromGitHub { owner = "mcgordonite"; repo = "idris-binary-rationals"; rev = "0d7010b267662d89e76e2cc8b27fd95ecca009b8"; sha256 = "0fc93n4pyqyrjxrspnr3vjzc09m78ni1ardq1vx9g40vmvl0n49s"; };
meta = { description = "Idris rational number type built from paths in the Stern Brocot tree"; homepage = "https://github.com/mcgordonite/idris-binary-rationals"; maintainers = [ lib.maintainers.brainrape ]; };}