-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: haskell-ogma-language-smv
Binary: libghc-ogma-language-smv-dev, libghc-ogma-language-smv-prof, libghc-ogma-language-smv-doc
Architecture: any all
Version: 1.11.0-2
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Scott Talbert <swt@techie.net>
Homepage: https://github.com/nasa/ogma
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-ogma-language-smv
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-ogma-language-smv]
Build-Depends: debhelper-compat (= 13), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), dh-sequence-haskell, ghc, ghc-prof, alex (>= 3), bnfc (>= 2.9.4), happy (>= 1.19), libghc-quickcheck2-dev (>= 2.8.2), libghc-quickcheck2-dev (<< 2.16), libghc-quickcheck2-prof, libghc-test-framework-dev (>= 0.8.2), libghc-test-framework-dev (<< 0.9), libghc-test-framework-prof, libghc-test-framework-quickcheck2-dev (>= 0.3.0.4), libghc-test-framework-quickcheck2-dev (<< 0.4), libghc-test-framework-quickcheck2-prof
Build-Depends-Indep: ghc-doc
Package-List:
 libghc-ogma-language-smv-dev deb haskell optional arch=any
 libghc-ogma-language-smv-doc deb doc optional arch=all
 libghc-ogma-language-smv-prof deb haskell optional arch=any
Checksums-Sha1:
 956e915dadc2dd9c2f4aa356a48fe68aededdeeb 8625 haskell-ogma-language-smv_1.11.0.orig.tar.gz
 9e32bd80325d9176b1798fe42e699f58c6c852d7 2140 haskell-ogma-language-smv_1.11.0-2.debian.tar.xz
Checksums-Sha256:
 893c20e0ee356628114b74561fb16b499325ec1c4e13619cac44a66316d1f30b 8625 haskell-ogma-language-smv_1.11.0.orig.tar.gz
 80e5d66ffdcc99758fa96d126ef1d64d21e9b76b9fa2174e51419f4a1847fe02 2140 haskell-ogma-language-smv_1.11.0-2.debian.tar.xz
Files:
 e40208379a82143f3d993d07e5d1e9af 8625 haskell-ogma-language-smv_1.11.0.orig.tar.gz
 fbf6afbf435bb6e7e48b0f6befd392d5 2140 haskell-ogma-language-smv_1.11.0-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmlc1n0UHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDzhdRAAyrSc73NsmANNFO49FPI7iYCf7yHW
SBfhbsqGG2TxxfgKk+/BPPNHJP2UTqAOvAEVhK2zyoYOBskaXlXZzu5IK+2C+FBo
x0vgEC267twDhjE6BSPPHN0uJ5dy4tc1eKT+yqrLzQ9IzUxzaXC9Z4JoylnfPM9G
x33amxMFCb6wxGwAUfHjvznBfi/oQv2nM7iozWXv6WiMQXOl77vNIqoUzTimew/I
5+ERa3oUJ1sBZKlSHF0FDtdrybEefxWbE3T2Jwj04aITmh5zODeBQX4U+R54I4i8
ht7OydQqFgD5YNCNK0ezzwgoyFhKQz1uHbSogx7ikLiBgEISa8YHaqlaYBjkn8W5
3econ+HHZENXuL5BdHE5Qd91mIxo0Zbq56uuxiO0v4HthObEG7l7Y8nKI7pKuMHW
U48wE/TNqeZL27PRLbKrghQXrPTy7D/oG8t/KN7AdLbQLeMxMx4PPIwISPOnOKz/
KobIBClobsO1iLJ6y8j1fRnf8eI/s2vvzN5mXndtMqom7VgxZzhq68epIIUfZYex
xeeRieq0trSQjRJSQYuoPHBbaSdIPZv8nRFjvVigBE5U8jnokmge9yG3i4+5gMLM
AIra9gvUMUUkOrw4vnh0Cm3aaZIL6O9sutbfGIJRMED/MU09Gmgu4hS8UaY0Q9lE
YHfZRFrMBYoySEM=
=IhHI
-----END PGP SIGNATURE-----