blob: f902368740398d8f3fc1bf40901d0986c7b58fe8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = idris2
pkgdesc = Functional Programming Language with Dependent Types
pkgver = 0.7.0
pkgrel = 1
url = https://idris-lang.github.io/
arch = x86_64
license = BSD-3-Clause
depends = chez-scheme
optdepends = nodejs: for the node backend
optdepends = racket: for the racket backend
source = https://github.com/idris-lang/Idris2/archive/refs/tags/v0.7.0.tar.gz
sha256sums = 7a8612a1cd9f1f737893247260c6942bf93f193375d4b3df0148f7abf74d6e14
pkgname = idris2
|