-----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-1
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
 e82e848a2e9224c13626ff14c32e2e5cc16adf4c 2068 haskell-ogma-language-smv_1.11.0-1.debian.tar.xz
Checksums-Sha256:
 893c20e0ee356628114b74561fb16b499325ec1c4e13619cac44a66316d1f30b 8625 haskell-ogma-language-smv_1.11.0.orig.tar.gz
 ada37a7367ba481f66a4c5cf5cef6f1f698edc90e15fc9090506a16fe908049a 2068 haskell-ogma-language-smv_1.11.0-1.debian.tar.xz
Files:
 e40208379a82143f3d993d07e5d1e9af 8625 haskell-ogma-language-smv_1.11.0.orig.tar.gz
 11c2a9fe15aff7bde430686293849d9c 2068 haskell-ogma-language-smv_1.11.0-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmlDSckPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3ii2G8QAKvXw5WXNE6CCwWkAaYM+6LzbPfXbSEsCKv+
09Qwp2rki4Lv83f1Bfl9OZ+8hg/kLHDqI6DWrPd6WKNqOOhfqqichhVuEAuOwL/C
qe5BSbhUAsl0HRgkCcBbmFqpGXzqQsoZ++kejnpRDR6kWqLDHp93hb7lT+uLaxCs
aFhfJjEqi6Wy3HmF7Ns6hTanBE9WLhHXxeIpkkCbPfeZN+vyy1BNAhxsZMM13oF9
XHWJpqNNtH+BEyrfccRCY4GEUnDsV2cVjmHfqi1qvgQ2fLCMEr0JwDL4Kk92EtFE
pirphosq9WzU9HeQr5isfG77XlrmA7wCh9UXiVGRYPftY4l01y2nCY+XlHFrc+uk
ChoDEAJ0JIENdGYRAgOBtn5ZY/IYbv2Oq/83vrROL6aIwDexhAA/6MQRHe8drah/
vQYlSx3e4PVZOjRWB0U9ia1Vb7JNRjcJ7Ngl3XTouMnAjUPJ+JpdRTq6EpKF+2ZN
0O/9Gqc1xwIXts0nbN711Pf+a4dVYaE0EaBh9iGR2veYw/yYkjvHFOETPYxw9FX9
lTgYOl5q7nl9EksFaYgj400aTGaw3RuxzpzSysRAg1Uk7yJDM1A6wSKjO0d7MWJi
ElbW2uVRmbHH44wGa1CK+J0XB4nrK+ORRm/X5AbDs8VR2QhfVZrqoHIdmHV6U6nD
IwkY04RJ
=6Wb6
-----END PGP SIGNATURE-----