Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
500 B · 22 lines
Nix
1234567891011121314151617181920212223{ build-idris-package, fetchFromGitHub, lib,}:build-idris-package { pname = "bytes"; version = "2018-02-10";
src = fetchFromGitHub { owner = "ziman"; repo = "idris-bytes"; rev = "c0ed9db526d4529780f9d7d2636a40faa07661a5"; sha256 = "1xyb7k0mrk5imjf5jr2gvqwvasbfy6j4lxvz99r9icfz7crz8dfp"; };
meta = { description = "FFI-based byte buffers for Idris"; homepage = "https://github.com/ziman/idris-bytes"; maintainers = [ lib.maintainers.brainrape ]; };}