%FILENAME%
haskell-tamarin-prover-theory-debug-1.12.0-37-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-37

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

%CSIZE%
3830433

%ISIZE%
21039164

%SHA256SUM%
28f30045bcba760a16f87f8565865396abb5aade49f2cf319dee564cf017a2df

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoTGnwACgkQeGxj8zDXy5Laug/8DOL0A3gjHZP+sPwZH7tx35WPSwS1ab2ifriL2XSkyDwHIDLe4X/8kbDwt0QkomwmDluQpGJ+m9MKPt7B4ReTSIQXC6o04H7UBwiQA3yW2SFdsyJAIPSHTYBjNF1znHnLrsX3De5S43ftOq8E9q6SRoNf9jSc/N5gXr9Rxco9CBcfW/oqpFqaz1dI6UtU6Go1Vzm9gUqdaPjLcjSIoZnH/NYGi7o4c/zxotQhUTKp1rDAdUfzvU4An14v1hYZe2P9bZkNi3NJ3REzyAHhhcDsnYnFwKQWy2dQpo6zy+ExSIoBDg/xTGLx8xn1Vk89qqaePYwKeNmnP6Wa13pzEhCxNQeHL/PdKcSoGZZqLoCADHNp620qVO1L4ECHlxr67X/jkVdl/UviaMgNB30ZsAZZ2S0QJvA7eVNeSJcjXxOl7XgvLk9PvOkKAHT4F00xyPSFu9GB0K+CroXytUGlQTf5GK5djagawgUCIT8grAdYLvUuRIdzl8pz7i+KkOr9yRAV+dcQB6IsNGViV8xJMyfM5yHObbv62GaGDhpOUihBbT0ruLtPOx9W1DFTOulxGGMEg5kO1B082tG8fxkmtOLu5kLtfHe6OxVI1YgyvHGRsfK4VSfgb1sTVVU188oWYJOYTnmamNcYVLNLVYqt7jadnLVw5sKyM/d1NzlLNq8a5d0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1779636684

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

%MAKEDEPENDS%
ghc
uusi

