# Generated by abuild 3.11.0_rc13-r0
# using fakeroot version 1.31
# Thu Jan 12 17:54:09 UTC 2023
pkgname = idris2-doc
pkgver = 0.6.0-r0
pkgdesc = Purely functional programming language with first class types (documentation)
url = https://www.idris-lang.org
builddate = 1673546049
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 12197888
arch = noarch
origin = idris2
commit = 58311bb8b602b17b93a070cafe67be0893406890
provider_priority = 100
license = BSD-3-Clause
install_if = docs idris2=0.6.0-r0
# automatically detected:
datahash = 7d180fcbf28b2c8431691b190009f35e1e5fa8e348f77a018cb46e68ff03f0e3
