# Generated by abuild 3.17.0_rc1-r2
# using fakeroot version 1.37.2
pkgname = ats2
pkgver = 0.4.2-r1
pkgdesc = Statically-typed language with formal specification features
url = https://www.cs.bu.edu/~hwxi/atslangweb/
builddate = 1771160091
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 8450379
arch = x86
origin = ats2
commit = a9e2a2dc46f377eb25884f7fea9834492de7f518
license = GPL-3.0-or-later AND LGPL-3.0-or-later
# automatically detected:
provides = cmd:myatscc=0.4.2-r1
provides = cmd:patscc=0.4.2-r1
provides = cmd:patsopt=0.4.2-r1
depend = so:libc.musl-x86.so.1
depend = so:libgmp.so.10
datahash = 530a73ba9bef5bbd9e27504fc071b9a2b606b5b0fa7f709b42c14ba0e3f2dde0
