tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkDerivation,
4 fetchFromGitHub,
5}:
6
7mkDerivation rec {
8 pname = "cubical";
9 version = "0.9";
10
11 src = fetchFromGitHub {
12 repo = "cubical";
13 owner = "agda";
14 rev = "v${version}";
15 hash = "sha256-Lmzofq2rKFmfsAoH3zIFB2QLeUhFmIO44JsF+dDrubw=";
16 };
17
18 meta = {
19 description = "Cubical type theory library for use with the Agda compiler";
20 homepage = src.meta.homepage;
21 license = lib.licenses.mit;
22 platforms = lib.platforms.unix;
23 maintainers = with lib.maintainers; [
24 alexarice
25 ryanorendorff
26 ncfavier
27 phijor
28 ];
29 };
30}