%FILENAME%
haskell-tamarin-prover-export-debug-1.12.0-96-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-96

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

%CSIZE%
266774

%ISIZE%
1213909

%SHA256SUM%
30db1ce3e535454e55f9b225a774b4a0353ceb09564257d462fb7aed404c7486

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrbRPAACgkQeGxj8zDXy5KK0RAAmraN95LpN9bdfQCcoBkCgxd+/yVg7javiJVLtgyjVshFJOHRthr1Y/Hf69WR2K+JE9AzsBMT6PwR4i3+aQDzVMcy/DOfLGpRXnRyNgJpk5wM+slxIOVGetD7amcZBxFYnkTv9wBfcpeV+hYq6jShx46ql+5Pi+0ooeX23+kUdVPnlYcNnMR9U9Rkow3SEdEAgc7cRzX9eKHMsmHDxgrR1Fn673ib5ye4oFtaCcXlZyhzgMWLkDfv5xzaFQ59JSogVYQKEP51UPgdHJDz0aSfdTZ7cqZP/RM7NojmdFvTHblohhdUGnomOshjfMOzuwMZP3R+tEso6A1sxzERaN+m6g2ToKjuQ+JaUnvdgYWJoMrq+uaYR7S7LOO+VsmEtMW/S6kA1eLyFuoFWlWsQ3O1s/rnG1STtRnuHEvYMmP524YMsd18MKCHjPr7//bTyYWoS/sCCM2Shkqn/A88UBqx3A3Bn5d1NwanvYc6XO8inJWAdcIHU9hssFMooslJhClvgnzd/uBT2Kdd+nxaujRHCFyKmQ5SgYB+IBc4agUpExl/HC8/n7K94IYtqgw831CG6lX71H0q47CIjz7PiqT2XANUWXi9j7eXZargWsOx2araqijko5LHwHg+yY8qvMjSbdCz4HUE3Ey1qmX5EvnM/EJ0pnW7l4NbkreWEQwNgQA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754899

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

%MAKEDEPENDS%
ghc
uusi

