%FILENAME%
haskell-tamarin-prover-theory-debug-1.12.0-96-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-96

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

%CSIZE%
3830822

%ISIZE%
21118820

%SHA256SUM%
c56681afeb43cb564b9eb907810c32cde07938d65ec8e4db5fa8328dfd982542

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAt0ACgkQrx0hme8KPM+69xAAjyBo5fzTEeSFEkxuXNgT4aiKzcKexjX8Ntv/OdinAxrKfwU/21AnZgRbzNvTaa36wls97hVdF3gZZlCvE20JGn8iY0Ps1dm/Z8QVyG2e7XRtDi24Mk2z/ulLapsLbJ1aGPuTcig1krcVpZVGPIpuaUrXN63EAy9iDfcaYJOpFiCokuIQjTFI20mSrATVCNEX9BXlIZfxvDtchxRvGUH3veNRmAVPp8K8znYIHm+KKFDnfm0WprfbGvchRk+rGu+GlJy76Ip1BV2J+RZRAyDEXXzBvomZhGaNParaHSKzO/XEa6K7chb4bi4TgCv6rBkmiqvOtWTNwkZILE9WIVPnp+n8eUDY9+sZq4sv2kEEmxjKSWO+wpMOihe9w1YCImQcNZ/BPVrPB51rLoIg9oThHDi5frNOY/cLyyymfVJiuhEg8V+5q6WJ8J9TJ8JxPTooou7q3eFfOnSgzeAh4OBlZeh2q3n8pNeZF48EEDapOqO7Luhti2vn2rRGwT3ezOaKnMmcVOQNMtjalv4G0WMyribsqAAttHRv4tCEv++GaMZ58Z2gZSO1BmeOZwuWg0yvzDNqDu9AhfUD+/sXHlTZMWoeNTA4azE7uZFFKnEdZxxF/PcmW5uYTi/Lt9AyHcgxZtnD9LvWnshTRbjyeIFLtUyk4lZVB86qFsmOt0l0BvI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754610

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

%MAKEDEPENDS%
ghc
uusi

