-----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.10.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 (>= 10), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), cdbs, 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:
 56a16aefa9749407f194ea8d98a8b52f50fb0623 8614 haskell-ogma-language-smv_1.10.0.orig.tar.gz
 8205b0c8f96cfba81c5a4504a0dd75fade366ea3 2116 haskell-ogma-language-smv_1.10.0-1.debian.tar.xz
Checksums-Sha256:
 f75f0d9cc905153e126d22b063db8953367498283c94ee2edc3c1d7b639b0033 8614 haskell-ogma-language-smv_1.10.0.orig.tar.gz
 eabf0060f50f82431e5023a343e3d762c028b468f284a3ddc7e532f01d972d6f 2116 haskell-ogma-language-smv_1.10.0-1.debian.tar.xz
Files:
 70e7dd9a73bd89fe0bedc341ebd57c64 8614 haskell-ogma-language-smv_1.10.0.orig.tar.gz
 fc3e6cae01af730a2fb46cd95caa27c7 2116 haskell-ogma-language-smv_1.10.0-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmjSGw8PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iirSkP/0MfEOiia6bdKR6oY1lpvQGcgiIbZm2KuuBr
e83Txksxurr9WarIRM3EoD7iymmSeFbsR/wUvv8rZRUU8pguc42/nd68PGYwbV9b
VwrUzwvvbQvEafCe4w7Tmt5JQSpeCxZivrti8N/WoZiwU/4+S4a8JBxb9YuzuONe
FwQpVJTUcnnJhBj7vhccn7zXXrKEk1lVCZPlDf/5RgiiXoPURbFQqS4KflmlDYVL
lH7+d1H9MyW+9QOmI6gMEk3Y7NxNGyz0Hxq0/mW42TtHPNZX3+6pWHTGShqsvjT/
hMT6GXnZc58SU1C2AHB4TRF52J+yK2JisDqlU14CoSMJ4JTXubD75SUGw6847wKg
NJt16IYlahF6+MmLoeSRc5zuH+DLZJ8L7O8yHpjLDqWdsdt0Bp3SwvRy+Ih8/GpO
JsbxybyXH8u/Fpa0UMNikKEoBUTmzDLZyfRVi/efWhd/PCArUVvLmYziQY1hhdeu
DH0qN0PglaMeiy4A1oob2n5PKc1waP8gWxfxm//LSRjQBw9oHjd5VXWevmWnVb+E
gEhxU17wGa/bigy5nROGIohVMk0ZSiAJ1yI8/xihjLb48q7fRxU63ZDVF2q0eq/j
q6kB9VoiJ5JCmPRosSJJoMKy+mox4NrQJPbIB0b8+G2ChS5ycoNakwPcflFRkM7t
3tTSZ1mc
=mEsO
-----END PGP SIGNATURE-----