-----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.9.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 non-free/haskell optional arch=any
 libghc-ogma-language-smv-doc deb non-free/doc optional arch=all
 libghc-ogma-language-smv-prof deb non-free/haskell optional arch=any
Checksums-Sha1:
 cab5265716b316212712896e4fba33f85645cefc 119621 haskell-ogma-language-smv_1.9.0.orig.tar.gz
 1dbef86246b34753b010e16b1ffabae840b2a069 6816 haskell-ogma-language-smv_1.9.0-1.debian.tar.xz
Checksums-Sha256:
 eb155c7edf1d6ad30c0123e54252d1bbaf0d3521bf8068625757a9686481ba95 119621 haskell-ogma-language-smv_1.9.0.orig.tar.gz
 50b81439804558dc77aef270e5a4f52e31b7ba5922e11f549e23f037150f440d 6816 haskell-ogma-language-smv_1.9.0-1.debian.tar.xz
Files:
 9ceaee2ecb938b520adf6b88bcc46c0b 119621 haskell-ogma-language-smv_1.9.0.orig.tar.gz
 c388dea31fd8c21300df8f69ad41fc75 6816 haskell-ogma-language-smv_1.9.0-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmibb+EPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiSY4QAILd81vRB4NE1RfzkrbqLSRxINMiqm3faAUa
Tof49voIEjt+UuOo9z6Ty5KZJ8ttHeNX6BKkYYALyfP2FX5IskfIBnc7+Lzi3vaX
nuoDWrDcmmMjDNOXNrVsufgkilFABFoE2Mk0qbTsRMkvLd+WzUSJxqxyE8lpQufx
GcHTqKE8OD6xIXqORGI0F8/xKvfImo1BzZD+FhLUI1DrPTzNt+6rjYLTuL+GrdMV
Rt/DETodcwReHSwOFIFDmAHoXaYHo5yXej0vNha0FaKz/6XF20IrCCELcP1YVIG/
KoIyefMVdnwWTfjm9tLSvz5a16PF234pVipFcBUPd4+0JUoMVtZYsc+RtEz46cea
pgAZInx556JW2NMJ4CZtP7UJAHv+FnAIYPQ4N30KVRUbkmpta0Mby0QVSUFslymd
4k6sbf50+oIlVbSFIsy+oDnZR+NJkPF4QmdOZfuF6urqka2qdIj4WB4hAby5RgHS
MVyVOmcSodmNGU4Xz1J5UziTfFYfP17ClqNSa2kcPJH9rLGGo5NeV2CzOGAhBt1i
jmEuRwrg/U+QgFN5tjk5ifMOWft8A1N7VjADnR7mYh5mnS2YybH8uTbm9eBW9WyZ
gFJ8bRn0tWzrj+0yXizdOYxPOUi9EyA73qpXr65Fc0Jvy2SxY6ss6/zUdyC4Gh0Q
Nsxniwgj
=o2jl
-----END PGP SIGNATURE-----