-----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.12.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:
 db7c9a60f5594e01229de9dd4a8e82c0e1eedf51 8639 haskell-ogma-language-smv_1.12.0.orig.tar.gz
 d58c9ec3fa923637344cf7d52bae15bbcce36014 2140 haskell-ogma-language-smv_1.12.0-1.debian.tar.xz
Checksums-Sha256:
 1d0994eb605671e8ab9a2db555f2562b1e1aba94a5d4652b6fbe7511531f8977 8639 haskell-ogma-language-smv_1.12.0.orig.tar.gz
 5e4cb046cbdcc0e34c099e21fca6d12cb035bdddb5900a98e8686225a8c64500 2140 haskell-ogma-language-smv_1.12.0-1.debian.tar.xz
Files:
 852b156af13cda80e5c0f8f64b35b2eb 8639 haskell-ogma-language-smv_1.12.0.orig.tar.gz
 86dd6d3d1a44c8ebdcda12f6a50cca7e 2140 haskell-ogma-language-smv_1.12.0-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmmhD1EPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iieeMP/jSaj0b8QCDCLxCAzeMez2clhruPDWYUoC6O
AbnVN07PTKIpfbrcqbLW9GWLHzI+PTvSeec33uduN5oMwmClq7bojF+rALuNDO0z
nT4Yd2B+klpQfqip989mZEAmU2hgq7pSzEhctrPojl/QZQ05h1OYGP//dS5x2nXu
Vlna8aZPvfBCaa8Wjt1aW1xShdF+iFFmL9iEp6f5ts1Ce6b1Vb+6xjsttyIhv9qO
HeU8gvEjy/1OSpx53T85eova78FI2K+he6fq9m46rz9oPh7s+OjSQStN04nLyLs4
wwtk5lh3egHEgxn9vnoJ9r2/JcdHC7zJvUaCBuA7VwnwOSCB49D0ijVJrSNd1+Sw
QGRkXMazdHupsv/zKSA6onz6NB/GLxMLDVKTzfsOjB/wUjMiB7TcQEUNwwotBGpt
TRgFFKBCmO0vzZ+fdpOLxUv+shd6nk1ycfmpDKJ2xPqC8QufF9N9cTHMmyEHDZla
/X1jQD41F2BPGi68Qlx3MSbt1xbQ1Lr6b0tbVrnqbkXw9WpK5i6BJMPlZvJqoQSq
kxX+Nsm7xTmdNh8FwSxxtegkk//asXp0PH1AD2kZNlMlfsrMwbUrs1hCc8P0v5LE
MUMFYbNxbJy95ASyngA4M3XUmo31/IMqoKG1dcknBX8A7stC5vbhyO0aNU+rZt6S
FsEn6C37
=LmfL
-----END PGP SIGNATURE-----