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

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-140

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

%CSIZE%
174649

%ISIZE%
964343

%SHA256SUM%
dd0921621fac8b1de441b3d6fa4b97c9c484122c26b9ccdebb178a3d067a9501

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmkstPQACgkQeGxj8zDXy5LAYw/9HhCYwJ3NVA8kks76ZIOpas3pCJ/JE9HAgiqJSb8XzB/OSRz0Gmcma1upjYHXJII70dfukJ7vRX9P1XQUF5OOvs8yTRNprOCjIEa+j9umFHHsQ3OsQqk9C3E7k9xidox7qX2xhvLNxn7sVwgbA2ak6wAuCRW+F0aBdBobPD0XBv7Vz8uwrS624XNXiQhaEAZ6BljNLXGVbzGvv6dKz07ff2rthtQdNcKzmtKgn0iJlWg+oS6VVviec5CYPRt+jfNCRaq9mL5VsM0su4cc4Lene0v5u7XS2fEMwybIEOvftp4UrTCDvmehDsHRy759AcRquUlWda4e6V0piN1eWHbCyDn8XD/AUM4Um6XgASOfTOAp9ZyZYaCvIVEUYZoSYXXiogvD+CgSUqNkO4hMyogqGywrdafVDg9uyoJeYlMHy0hH9AjMbmvHM4Ih0JSwPO1YCAjme/oXSLTWk2wr9LWSAeGUz/wUM+HnTRo2CskFTKsRE0PgGpWZguODDKLPcPeudXXfXGbV/9bRJWv70NRxtka+3S5Xy35MaFT3OBD7wpDGsCwK1pXOdWhkaKsFmmG3RTV4A3a7EFZjWHse9ewtiuRFaudY2tEqFiSxY3xVcrcleb2ZEmDlRmi7ODAKd6E74noEX9K9Q7/dqisdUEGqoHvpwhBvojexkvIPRaaichE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1764537517

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

%MAKEDEPENDS%
ghc

