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

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

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-88

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

%CSIZE%
266900

%ISIZE%
1213885

%SHA256SUM%
55a7e00b094c0e01c8cdcfb1b6bce6f78f653f701867dd309197df8116ac7ec2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrLVX8ACgkQeGxj8zDXy5Lx2hAApLmLCN9YIfdJXJw4JvkPkHSutM6Zc4eVGjO2aE7DNVf1W637eZzOcezcXN2voKdzRrQdIfjuypezt2R6jTfQRgzVgWrcRS/24pO9sMzOeHZs2kmbxq7rkV56EDSd3BtruXYXtrTTkLWpa417KiGiWK73+cgFT6zvC/2pXsPWj6gsAwZDeYIUWCgqBylTuuidPqj9VBYpMOsNgSBQe1K7Ns5ur6A9W9su/1HRUhdxnKqiqq2sIDOc16kR8bg2R3GLDjs0oL83oatJUuqd8EsfJg893Fx2uPwkY9fYvDBEqz6O0ot+izlfFhCF1MzOJIaiL89TzJzXIqrzxGAwQCuYr81tERokDh1fyc8UsHFQqWKqgnAX+ItftkoBIWEGoxRfm347/M5PfhAI2O6W7BLNiVN4BEhh4OBonHCNQMFcTg5l+/l+PGowDYN83TAU9CkmWWfKVabtp7FcXJWl7K9I8OsQg62dXqgezxuDr8ECzz44oIFfENhfuU8r4POLv3tb6njz9DyWZ7emDx8EqramIiGwlfEdVvS5luvDRItPLyJib40hwFWosqyMO+yHOKi3LhrfeiYxO0/0L0YhbEyMxizq4zho2of6ldkZZxPTLXs7ZQ7dnIScI/wmO5DDplGo5X8P5OSviTT5p5wCbOJeAA+520uqpExQIepOXZmR8y0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791710560

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

%MAKEDEPENDS%
ghc
uusi

