%FILENAME%
haskell-tamarin-prover-sapic-debug-1.10.0-141-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-141

%DESC%
Detached debugging symbols for haskell-tamarin-prover-sapic

%CSIZE%
258780

%ISIZE%
1266838

%SHA256SUM%
d739edac5c37154e87b064923d8e4f1dd0f64c957352817165ffea5589582b50

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmkst30ACgkQeGxj8zDXy5Ihaw//Z+iuGqBCTOycJi0Ced1Am+0qponoJJSzq85AkSxN9oj8jGHryFRz/17BT6xbFyhRUIBrDC9iMNvHuTFmOUc2TtVOi2brbeeIBgcnPFeXxdoFLrh5TNS1j1txJ3vsVHzQSvFLzaY7Odd+PToUc/gF0pARgYQEdMN444RJjI1d2Zr16R7+euc0ZeTUaI8fSK7dPFb6a7Uz9824YcQ9gI5vEvjrMesLw6YZV3TInw1nMI8MEoGl/ycJEaidCQ52W5A39zwGjOrDis9aEfw+M2xN4Gc8v6OAaZmk4UN1kVOgu7nMU3XUxi/hJ8Nb2lJhs7IqVIoorzJoNLf91oBXpz0+XVY6gzRipGlIPcFj5A/MfJQdSlJCx3IfwygR0hTfvGW6kMmBOsM8spPoL/tlkqmSzJ2vX40QId5BtQ1TU6/WqjCQgcoSAQkXbFpRJGIMOIwEDJP9T2ZwAgyUHTzxRQpcGVhHqIIqKLvrm4w2FTnH0TsQHW+x15kyUjal4tBmq2ffBcwgFO/L/Vf+jdK2rLzVPt8wKbXTb2hGZ9ka4pnmcJT5VX4iJoa8WFtScMphBGdVvS2YY7Q2LrDe7QeWXV6IOBMAvTi3CvI31Zgicz5LEcvJPONgI8fQ+g2ZefbyhawoK6un3uGWTRG5RxPqg7bDgVqfFZ1fWkvRlkt0nQ75DJ0=

%URL%
http://www.infsec.ethz.ch/research/software/tamarin

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1764538199

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%MAKEDEPENDS%
ghc
uusi

