blob: 6973e4301bb529ee3140f2ecedac789f4c7017f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# Generated by mksrcinfo v8
# Tue Dec 22 21:32:03 UTC 2015
pkgbase = idris-lightyear-git
pkgdesc = Parser combinators for Idris
pkgver = 122.04e8747
pkgrel = 1
url = https://github.com/ziman/lightyear
arch = any
license = custom:BSD3
depends = idris
source = git://github.com/ziman/lightyear.git
md5sums = SKIP
pkgname = idris-lightyear-git
|