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

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-87

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

%CSIZE%
3831863

%ISIZE%
21078500

%SHA256SUM%
bb2740d8b051d140d8e16fdc20761ebc0c90e46435205b3dccdae32e4a1eef10

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrKqQwACgkQeGxj8zDXy5I9VA//U9vw5oSm+3JaEWZQgukNQqVaNxbGClpZUhDnbM6yszkN3S2vG3FSezlKVKr2ISdLN9J3uxgSnaeQkgHIlq4k3y/nW0tFguLdUxrdhVX8Ep31YgxhcWAu1sB6ONT4DeSJu6UMF9Wotr6KrJ82G1KEcOs9oL+rmwa3Gin6R/p94pvoCIK2oWu/QsrznWLuynJaDgkcjABZ4c3wR2iUSXGkRWqbGogKRAz5nIK5D0646K3yytT5AMly/GxiyJqzSxjwZEP/LzAEDh+vDdc4ZeeXiSoYL3jYhIjZEIJwL0Q8j5Ynhs37khrfVyMwtHGBs9R1vbIEEV5EgIVtTwW+LoyA4i9TP6u2SSfpDiNHNw/a/fpxK08zmW3Nwi99tJc8Bs6e14I1p9XHIunqaGY8m6sPcObCZkvtERtBvHdiVbY+NvlV6fQipnaxmhJ9Ftn9JvOE5LyeqhxqliEqWDjXAIifb6HOi0LRcbWUJ3nobzJ+Ps0PUQgTN29sTQa7Lo+AzpQS5J6mYqTapxZrZb0hiM0GJlncbRba1hn8e5svhU6LlxnZ1RIBv/7KhClfyms11TjyKKf8KKGZoqD3QQcEJgGN7DRKhUhOw4uinsCzMs0bwHExVzzzypGqQxOpXvaABCqOc3Z4ZjoW1gHhsGNuP6aTAvbrHBKdEjlRHOe8TDVxkA8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791666353

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

%MAKEDEPENDS%
ghc
uusi

