%FILENAME%
haskell-tamarin-prover-utils-debug-1.12.0-95-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-95

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

%CSIZE%
201894

%ISIZE%
1153274

%SHA256SUM%
f440bf0fd43397e93483ca616cb21ac9533843b368ea6a08bc93e0e2f43fd224

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrbQs8ACgkQeGxj8zDXy5JCOw/+JzrHf2k0/2Q/PG/GSyku0DJKGFqkfCeLUoKPCByqwcamdpUr6ICrdYVMCHQj3dSwVD4eXshm2fjhgFTPN3foifsTLyuo7JWYhwRDBeLo55eSxPRyW1+kMa8hlQO44IllGOqho/9K3+aHEZxfXHjaThvzKxeSQwCBTVDZkxUH9eEqDQ5hW0gdj0EkrsEom7ging/0f9ypIgr6LZw5IdLDz1CX+hqqfRW/QhReJamElkqXtmtzQvBCYxe/PUqvAyYj9+0gv2TUFw0BRqWCYBF2THvMBPfIq6avCJWfHBTnfyx/57rE0u5EF5/Kau2ua+WvH88k6AuULH49gaNB4Ng4QL2wDBzxZTeKEcIHpyxMWrmja3NQehwvL9YhlwWT5l1w/4DHjCbH88J0TVQUaifaQ6xEMbJQpoCRJ85SpW1Km0i0xeNl1g9JlIQAbipOwtwSlyNQqUQLWkfc/prtKlDV1dz1ntWpkeeaNwa0jE0/HRYDDQA25BWjLZ/OtI/KVnfq3hIaMhonbmN7PP2+6V4omgM/EX+wnJYgbMWE10XnR/E8xRSrsXBibRosHaJjbVvCVUil8mxeKuMw5KAkPyqrn7P4XyTRx/rN2Hfg38K43GZpyGXfWKXWMZYUTrz0Xn53M1cmZfiwdbX+Bgf2gIwGV4SLl2/L82Walai/E8774xQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754315

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

%MAKEDEPENDS%
ghc

