# Generated by abuild 3.11.0_rc13-r0
# using fakeroot version 1.31
# Thu Jan 12 17:54:09 UTC 2023
pkgname = idris2-api
pkgver = 0.6.0-r0
pkgdesc = Idris API for developing support tools (e.g. external code generator)
url = https://www.idris-lang.org
builddate = 1673546049
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 143396864
arch = x86_64
origin = idris2
commit = 58311bb8b602b17b93a070cafe67be0893406890
provider_priority = 100
license = BSD-3-Clause
# automatically detected:
datahash = 11202290dca19960e7a04c8f3c912e3a5fc3d740361428e6c003c0bead62a38b
