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

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-87

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

%CSIZE%
281663

%ISIZE%
1419716

%SHA256SUM%
c149830f1eedcc2bfd9d14ec4a4e838f5fbeea782edc87c80c20328f69766a92

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrKrYkACgkQeGxj8zDXy5JHeQ//Scig5qcIDeGaE6NzalUOOJPU8m6ADrFzI9nHYc8Uw2nrefOKw5lB7IgMqPHiZ44fx1A3liHl81rvxxMA3bA/rbFG+H5CN6zTlapt8TG9B+ipqkHBVAtcmnosMvj3e6x1ntq6VnWsF8OMhPza25/FpMWVeE5DIy+edESYiVBrrE3LS09ualAtoCP6eD8O+B+OWm2tITDTuJzvXR7Z6Qntxfvqqo5XG9JD5X2sqtib6fBmY8I4qjVNd7UjfBj9tmVvQby2T8jnby+w6X8luQQuaTyWTjnacKCBNs8Scy1ZM4z5Cw77fO1SOTl9ybNysRkaExo1FImihKoOIxX9b3gJj8HI3j9KtWEbseT5B73YWmkZdCXi9o7f9Gm7Gv02HcWY0tw0kFU+t8gab9DOsDX9OS8KS203i66mvviU+xX5eWpli/1e2Qw5K2iJ6iG7wHX0TMimBb6BtN7VWDN6C4d9AwVpi+xAhq2oktSaaD7IHBlLaFl+NjD3/UNaW7mt2XtBXJ9zBlJE0qYXRyCYVMLciq/BZIUHVby8xQ140026zPnstwGxpMlCVZNL5Lj+VNJbjmABeTzcPPuXZTE78yZYKW91HEjLOoGHTEwzf8R3k0sxo91IZSIwblkmwmHeIwNb4Q12E9ByQdOlQBPLpVKM494p2Mx1/CPF1IuYBAXmi90=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791667557

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

%MAKEDEPENDS%
ghc
uusi

