# Generated by abuild 3.13.0-r3
# using fakeroot version 1.34
pkgname = idris2-doc
pkgver = 0.7.0-r4
pkgdesc = Purely functional programming language with first class types (documentation)
url = https://www.idris-lang.org
builddate = 1713686189
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 12742656
arch = noarch
origin = idris2
commit = 26a12f172e552d8d502365717a57f32460081ffb
maintainer = Sören Tempel <soeren+alpine@soeren-tempel.net>
provider_priority = 100
license = BSD-3-Clause
install_if = docs idris2=0.7.0-r4
# automatically detected:
datahash = d4ff6e3af4928031516264c33f40c3854b3d13e7455bc9bee23d5f85694ab0d8
