%FILENAME%
haskell-tamarin-prover-accountability-debug-1.12.0-28-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability-debug

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-28

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

%CSIZE%
42034

%ISIZE%
170288

%SHA256SUM%
0bfd4b4de9263f46cf4c577e7c31b5a6f56aac0f755e6830562de033cc91f3ba

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7IIEACgkQeGxj8zDXy5LASQ/7BZl8aM9joboaDUpDI0u4eBb0oemtfb/8ByHcYdE4vBkG69V6k9+q7/zGP6REt4Wp+iAZfeKwLXhiyYhoHhKGjjsHkMsSrW6Dza6fPO48nvdql/GAQeC77GkQWRylx2nvzEEKHzoFT/vSQPT94PE95spX49LmPivwvn43Giv7M4AyeA6nL52ujZud8rTMNCDQVFCYMG3HFvsf6CvphtuFRctQRt4/OQsKl9Z7FO842onDI25HjynTTAg3Jbcc+0Km7t9PHJ2aKcttskrhXRE4Zdg3AYohV622GC//ANHjUnSg53dbs4UXqfSysRVHwYmiIZ298R2Cl9i4TgiF9UCKAH5CBqRhCz2Zvvq3tdzBGPhLWsgNaHSS1X+PBYH/4AfIXFvsC60bpzoMG3tk/PYBXYZp+/mJDl7roqG/Rg2fVXPp0sDDK0aGwwJDPz/3PpzR6SEhrnSLedEm3HV/phPyAdfcmqxSInl3xCHGjdevUpVOe7FZUHj1yvNf8AlelUJS++hyYiZ7peqpp/DlekeLjt2HiJZjzjb3mtQjeHcBeMl9R0CkD1RrYxr8grrbnMDszVsLXfeLN3sTuk1oINGQ1jkv7VFTQ0d4vc+6GizEiMtxWEjVRCW6eiWJMwSeDT116pCVK64EjUmnALrBG/dyAZmKt/Jb+3i1SW2dap86TEw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778065519

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

%MAKEDEPENDS%
ghc
uusi

