tjh.dev
1{ build-idris-package
2, fetchFromGitHub
3, lib
4}:
5build-idris-package {
6 name = "bytes";
7 version = "2018-02-10";
8
9 src = fetchFromGitHub {
10 owner = "ziman";
11 repo = "idris-bytes";
12 rev = "c0ed9db526d4529780f9d7d2636a40faa07661a5";
13 sha256 = "1xyb7k0mrk5imjf5jr2gvqwvasbfy6j4lxvz99r9icfz7crz8dfp";
14 };
15
16 meta = {
17 description = "FFI-based byte buffers for Idris";
18 homepage = https://github.com/ziman/idris-bytes;
19 maintainers = [ lib.maintainers.brainrape ];
20 };
21}