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

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-68

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

%CSIZE%
201513

%ISIZE%
1152586

%SHA256SUM%
3139d4acdfeafda2362af6097abc2ab482b99ea56c03764cad5722dd15df8e62

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqVUUwACgkQeGxj8zDXy5JAXg//baKNBd1assp3eRjytBU5Xp3gj+V+baRR7XBz1i+Up3O3Sx0NDksZAlQU1EM7/+W2wa/FO3EL7qtrv0fjsbHJyLFWkYo3f3D7FDMFnBy9hVTioRU4jImArMctSD0DNSsuoArJLXXENvgTLFwDU4LA6vjaUVE+MoiRzCK1QMbkDbJK2u10F5fAnYWjW6b4iuFrnrGsNcWHKzTN5DJeTGkGQC8DkVvFcRqpgd9ESdbL8B1w/pW8nW4Kvy127MZqBJBqFajbCrfCJsqCWXgkAtizKLaeUmcJHxw8l0A6ffu7Pl5OzB6LmpnDQp2Zpp00xEaLtNwN1SToVyg5D5BtMc8LTdgQIDiqhKHtKwTFsZb75gAEfuawDeE+6XiaN9F1ZaxaC3K/vDC6Vyq3FKZEm4M10jvQefXH6F1aFrnT45ePod/zhrUOsmdUakOfSTlDXfl3TuIQisZEp0Z1W6gdLtAsWbGewHOsZZqLdtq7Gz+/GkhYSjXpr+JzhrLHPxroVhqg0eTmB2PXFeJ5jVrk4E0+15Mxpwq1pr67vJn2KHBCqoq7acEnYHF/Smx8EhzU2DewVclL6uL5SKVCm8Pi/HghtX9VEhM3N+7zs872kBgxSnVexhXi0FtSBjbVCZQqn/1c86azgFV4Ug/zzpAKjvbpf+MvgP2LlRv7MnVqYEI5P5A=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788170553

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

%MAKEDEPENDS%
ghc

