pyrox.dev
1{ stdenv, agda, fetchgit, AgdaStdlib }:
2
3agda.mkDerivation (self: rec {
4 version = "f1c173313f2a41d95a8dc6053f9365a24690e18d";
5 name = "bitvector-${version}";
6
7 src = fetchgit {
8 url = "https://github.com/copumpkin/bitvector.git";
9 rev = version;
10 sha256 = "0jb421lxvyxz26sxa81qjmn1gfcxfh0fmbq128f0kslqhiiaqfrh";
11 };
12
13 buildDepends = [ AgdaStdlib ];
14 sourceDirectories = [ "Data" ];
15
16 meta = {
17 homepage = https://github.com/copumpkin/bitvector;
18 description = "Sequences of bits and common operations on them";
19 license = stdenv.lib.licenses.bsd3;
20 platforms = stdenv.lib.platforms.unix;
21 maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
22 broken = true;
23 };
24})