tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{
2 lib,
3 mkDerivation,
4 fetchFromGitHub,
5}:
6
7mkDerivation (rec {
8 version = "1.5.0";
9 pname = "iowa-stdlib";
10
11 src = fetchFromGitHub {
12 owner = "cedille";
13 repo = "ial";
14 rev = "v${version}";
15 sha256 = "0dlis6v6nzbscf713cmwlx8h9n2gxghci8y21qak3hp18gkxdp0g";
16 };
17
18 libraryFile = "";
19 libraryName = "IAL-1.3";
20
21 buildPhase = ''
22 patchShebangs find-deps.sh
23 make
24 '';
25
26 meta = {
27 homepage = "https://github.com/cedille/ial";
28 description = "Agda standard library developed at Iowa";
29 license = lib.licenses.free;
30 platforms = lib.platforms.unix;
31 # broken since Agda 2.6.1
32 broken = true;
33 maintainers = with lib.maintainers; [
34 alexarice
35 turion
36 ];
37 };
38})