blob: a22aa015afd9c77aa1d95610ff4fda380168f63b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pkgbase = agda-cubical
pkgdesc = An experimental library for Cubical Agda
pkgver = 0.2
pkgrel = 1
url = https://github.com/agda/cubical
arch = x86_64
license = MIT
makedepends = ghc-libs
depends = agda=2.6.1.2
options = staticlibs
source = agda-cubical-0.2.tar.gz::https://github.com/agda/cubical/archive/v0.2.tar.gz
source = cubical.agda-lib.in
sha512sums = 19defe1e9645e9c259eb619549412587f29f2f1463ccf8a620d45b0a940faa84754fb8795c3d2eafc9feb4e503d1a24e26ae4dbcd02e30af2597ef2f91b4daba
sha512sums = 721438844cd3c8f1b4b015ba55e548705ace58870ce8eadbaa280b7f34119d24a7f7d1fb7545c9ab121043cb542e7dc55ee0f06fe075caa5b69adabafc0c84fc
pkgname = agda-cubical
|