# Generated by abuild 3.14.1-r3
# using fakeroot version 1.36
pkgname = coq-doc
pkgver = 8.20.0-r0
pkgdesc = Formal proof management system (documentation)
url = https://coq.inria.fr/
builddate = 1729095645
packager = Unknown
size = 96465
arch = noarch
origin = coq
commit = 40ea6c48d709733051b824abfc3d0ed2309ae339
maintainer = Celeste <cielesti@protonmail.com>
license = LGPL-2.1-or-later
install_if = docs coq=8.20.0-r0
# automatically detected:
datahash = eb979186140943e83f28900b43694035bd99b4cc99dcaa4b1102d5733dcca8d4
