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

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

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-28

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

%CSIZE%
266672

%ISIZE%
1212829

%SHA256SUM%
2d2e00be4f96b6e1875b9f0e9897e01eafe4244dcf4c5c6d6e35a7b00ca4ac31

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7IdoACgkQeGxj8zDXy5Lvuw//cxVuBHlMB7g/hwpbxSdqmKCKS0gqes5JQNZ5AxJhsRrrJo9RdMoEaZqpAi9CCZhacH8OlXh39KLYOfBjyDW0uG5LSQ3Am9zsscWQjqzhH10RdxHCNUaZTKgzesCwk/+UYmSItqws7mMxV+UnpXhOP7cgl1GMUQbZ0lHENkfSusz5rlRnFBjzQcjqbCOT8lMQcyLhc3f9TbcT/6vHbCgDp9dEcVpqnGCXg1G4aBj/8HI43TzClfNHTceAckxqtU3pbRNMMrATTSh3D8ZF8E57By2ytEM3AXmSiFvXjdCli7SUkq5vRwXSwieRBhyKTynMNCAvvT6oRc0Puhp752snphOrPojPIU3LH5Wa/ZpGT2IivlunOCLyd7dRNUeY3t5Ek0jPC8b/AIGQ3yUbsdtZbOzf64uxx3XHr5JhTFIQ9vJGuIWkgCuJSMlYZx2hAa31qIeBg9zGxKRQbHjiQzmb27rknMz/3ThNKAZhCXki5qU4c0oJ+aQQNGIcLXKuM35mIg9mj8a9fhQpb7NxUfA0UjQAZ67eEEyOEQcbvDfAVarcQKErJ6FSs1T+ynh7O7R2iljX6GM8CycWJ2Tlb2nCDNU3blfk2uHAQimfilVIkIgDGMb+HTRHzCFcVe1/jQJ5zrRgoOiTVFLMGCXNddGs55QcThI7doGujZVBJb9vKp8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778065864

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

%MAKEDEPENDS%
ghc
uusi

