pyrox.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 pruviloj,
5 lib,
6}:
7build-idris-package {
8 pname = "descncrunch";
9 version = "2017-11-15";
10
11 idrisDeps = [ pruviloj ];
12
13 src = fetchFromGitHub {
14 owner = "ahmadsalim";
15 repo = "desc-n-crunch";
16 rev = "261d9718504b8f0572c4fe7ae407a0231779bcab";
17 sha256 = "09fh334aga1z1hbw79507rdv7qsh0mqzb89lvpznn7vzi9zkl8fx";
18 };
19
20 meta = {
21 description = "Descriptions, levitation, and reflecting the elaborator";
22 homepage = "https://github.com/ahmadsalim/desc-n-crunch";
23 license = lib.licenses.gpl3;
24 maintainers = [ lib.maintainers.brainrape ];
25 broken = true;
26 };
27}