%FILENAME%
haskell-tamarin-prover-export-debug-1.12.0-68-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-68

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

%CSIZE%
266772

%ISIZE%
1213629

%SHA256SUM%
771bcf2442b2a538a9f5e9f11254bebcb106ec6474c4d39174584de42fba5fcc

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUSU0ACgkQeGxj8zDXy5J8AxAAklgNFpOOvmd+8aMRqQzE9YhyAB6wvpbhOYGDaAypiuUhE3gASrLgzdMc/VFVWhR9ISNE8MwtGEINWKe6KvvPQWJthjt7ywGg4E57CZWQz/0swO2UQu34acKAcnKd3C5aAMWRe27Y1VSTgT2lM6XRwl1oZgNJitrWCxBLweEKJ9rHrCNKdsLCJFtATHsiaJVr3kv3u2WWeSuq7+/ZikyoEP72/71NmwrP5d4nU8cZfuOPxTn84oPzebTll2lg1rqDnNzvWJj15Y+bTWIavdQGedOq3ZGrR8LA5wAObNRjldSt8931w7dUzoBf97Tc4JN//HixX03xFk1LA/U6ZAO7Q3p6zRJTgXhFWokyVoBPJ4P7P46I5xY+HgFEv9wG9BGm3YHx7hmaq7Bptq2+aE5OQEh2x6n2ozto+o5XVPap/5AT6FIujnfjwLmY6bCTvfdvb7AcnKetcbPsQrE+JtId6GyAWKzPKSr38Z8Sw1NrYyGBZleq47yy2nOVpkIdDSLiSYV3DIwLIpcL0Kj6OMAYrkVH7tSLfu6u0uPUF0JP2UbPtoRvJ46kX1tPRIKdLKMqh8vQ1X4VjqyYYdgIHU8UoW3WDFsU/ow71rtGeWrnZKGkTrQu82IfXgMm/48JZlyUeUHinNuah/aomDp9cCEw0Gc8JMrWh5/uICbEQRo906E=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788102961

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

%MAKEDEPENDS%
ghc
uusi

