%FILENAME%
haskell-tamarin-prover-sapic-debug-1.12.0-88-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-88

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

%CSIZE%
282138

%ISIZE%
1419980

%SHA256SUM%
718ce63631dd7b208a3552b8c47b6f224615dc770e11e5c524d077efa1b9a01f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrLVGsACgkQeGxj8zDXy5IGdw//Slqnih5Vu6mi++LhxdOxxXYHk2VgjmPlkNchmuftnEMoygxs6YXon17Aze2fj6O41MznBcm74jS/72c1RQQHiAntFzkZTStseQEICKQ3prUV79oVAPOvCud0Fs7QT50/bdefK2RAxbQJpF6fdON33W412pilr56eD6rekjZ6nN6i8F7FlngEUws0JqPT5OGWk5swv8waLt04ySlt0wI4gju5X27Go9l7QC7hW6MZHPJZ+JXfLsNQC/RlecBFh+EFuIr70iBAKrOO00G+uDi4TBe1uwS3DCvDbfPdVQGiOBv5qvwZStUUPlIA7/NSbhtIMDt/t19x4cB6udCWd7PFk9/5YdtuJ4b/M9hG1M7vKs75k4up6EFXgPTF8btwEyUgJR+o5i+++9FrmasIWXQL+3lmBOhhp38YQjFqJF4bFykEWSx9Hh6HY7Slz7D5xfHqlws1dt02hz38BmYXKfuqDrgjGpUZNdJLWHdb7l/di8dpNynyxJYeUelg7AbyrV/Sm2ceGEC049twMT2Wjml4g72eusoVxbt9Bf27JSqzV0MKaGy7O43DbgP2vTZvGSFAJrBQTn44+No6S/TtCFOc3QVU8hoHciApkgc8NPY9hz6KJv15e/7J7Fj32xeavwoVJ1WvJV5sEl7q9LXH0FpbJrszhne+L9YpjofoyzETjQ8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791710290

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

%MAKEDEPENDS%
ghc
uusi

