# Generated by abuild 3.16.0-r0
# using fakeroot version 1.37.1.2
pkgname = proverif-utils
pkgver = 2.05-r1
pkgdesc = proverif to TeX converter utility
url = https://bblanche.gitlabpages.inria.fr/proverif/
builddate = 1768170977
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 1314256
arch = x86_64
origin = proverif
commit = a04c644b1adbce12ad9a9a32e4c913fa7550591c
maintainer = Marian Buschsieweke <marian.buschsieweke@posteo.net>
license = GPL-2.0-only
# automatically detected:
provides = cmd:proveriftotex=2.05-r1
depend = so:libc.musl-x86_64.so.1
datahash = 28c8ca5cf1271a17a9f15da787d8b07f22689c6d9d2141a2fa20e711128cf12f
