# Generated by abuild 3.15.0_rc3-r1
# using fakeroot version 1.37.1.1
pkgname = ats2
pkgver = 0.4.2-r0
pkgdesc = Statically-typed language with formal specification features
url = https://www.cs.bu.edu/~hwxi/atslangweb/
builddate = 1745737405
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 8082445
arch = x86_64
origin = ats2
commit = 55bc07f0ff1f54da7cddeba8593f7d4099bd4efe
maintainer = Celeste <cielesti@protonmail.com>
license = GPL-3.0-or-later AND LGPL-3.0-or-later
# automatically detected:
provides = cmd:myatscc=0.4.2-r0
provides = cmd:patscc=0.4.2-r0
provides = cmd:patsopt=0.4.2-r0
depend = so:libc.musl-x86_64.so.1
depend = so:libgmp.so.10
datahash = 133d7bcc14d080f893106e6c6aa976b057e082b8f8a1a1aa91f0094932f486fc
