%FILENAME%
haskell-sbv-debug-10.5-10-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.5-10

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4843693

%ISIZE%
28004050

%SHA256SUM%
cdca6a984dc4c87fd430330f93876c65e300aa5ee2e863fb21a0b152ddcb178e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMEb4ACgkQeGxj8zDXy5LfRQ//a/sSCU8+vE1TPRY2KEPXFuFlnKfqO4XBUvdv2Gv/1XV3bvzaGhpM58zLt6Opr4yV5h6FqHvWM7jAFCVJvrlBcsXM/8y7actyIsaUmFBMn3Dgd5WC2n3wbMPxzCu1qTXjcm6fmznKktFPoiFNxsein8fLKqqg0B4uLuF+gub6unV2zQeIWYBK478VwPlNZNufBWYIJXigYCgynDHY5VDvqhKReLOFJD89bGh6TNyXu+A1fkxTCfyX7U6bHDiSLXcqjE/hFgt9TKB7CoRstiqMho5zV7RzqX3HVv7yjNXT4oTP5mQHHuoyGHHB6e4BpuiNYLwSMxV69pxqi7Ch0QCwVHlReQNEguVdYLUMpoXbhrPNGxegZkn7bmULdfxRJHyK+CWoRV/WbdA7uofiDdkp4LgnQ0x27wWxJ4JYTZ83o2SLg+zneN0ylCYStSpyo3WzuQcNb3q+Sm/wH4io9mSdKZ2SJ8XKdPDs9BUiSmcDlLD2L/lho5EJcaGviR77f/VSYdNfeq5DoRrIXC4wNqaHR+QiZrpVEy8syq8cXT1YBKxwRC1kVwt1CjkJrbfc7pnTOE4eFEw/02XZE+rbYulrUrkDNDTW4iaGsHCS2XdphEz09mjN1gHfm6L0WqVSOkm6XiMXwhHocZ6pyDG4AMidh+IePeTweuLy1eT7yeZh6f0=

%URL%
https://leventerkok.github.io/sbv

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791757692

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

%MAKEDEPENDS%
ghc
expac
haskell-tasty
haskell-tasty-golden
haskell-tasty-hunit
haskell-tasty-quickcheck

%CHECKDEPENDS%
abc
cvc4
yices
z3

