%FILENAME%
haskell-tamarin-prover-theory-debug-1.10.0-140-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-140

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

%CSIZE%
3336318

%ISIZE%
18178160

%SHA256SUM%
cf523af68bd258f1a6f978c611cb3bbbb3c6dcc08809f6b9dbdb348a22d16dca

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwNkAACgkQeGxj8zDXy5JhpQ/+MXeim2gUmrdR063cEfGUlb1awJFHjFKaL7mYmIXvNtAVvgwVfJENL70xAMswRkGk0v94/NCFE5hCUWUklSfdDl3AjI/7af211No06zbeA8L5I6zCZLhCyDU+5bzdMvB+LJW3b/DAYwQxEg6kWoZBlyQhowoCFugcKQC7ZweDO+DpCpzKMCO4ifAGVA3E9z5orsmOXrhIHcu3gT07XDR1vTLXsofcFd0hmAT2c+6+af1agSkIS5EMsd9AM/MHt86I+mILwrtTiGZwy80sntW++iTbUe4/oyD4Lkhhzox98gNk9vbtDwQrxC5evKRvy1qOpHWR0SPLe2Dg5BZ5fG11xIoUAs53A7IYWyotZyhis53GdSiUNt2iomKKKv4vZZVfA3rACRwvQIPVzfuwh6b6Wny8yAh1+x0y+nAWL/nnvOrhj8OhhuvEnUQSGHkEvcqjoNfRSFUtqjGV1C7CeTKf4edv5043cZCW3pYRo1Iairq8vT43iLa+JcQ7uKVAbyD//6XXQpDzvANeWH2zvm3aJslhUepQKzIdrjCiE78XZF5W90oJi+ijdTg0Hb7WXjZ7I5CBQ6yhTRhGFUUzA7kqh9n5GGtxZPkJjqxqLu1aNUKcS9FQFK7MgLxhQWz1XiMX+MbHhOzOTb2nzWpFdH1RNTLuLozJw6nypnIz564wlYY=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760572894

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

%MAKEDEPENDS%
ghc
uusi

