-----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.7.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:
 2590568ef29ece04e269f71288a1a621bb20d69f 119593 haskell-ogma-language-smv_1.7.0.orig.tar.gz
 a8b31f948c29a59c3267a0d7932ea71a49844297 6800 haskell-ogma-language-smv_1.7.0-1.debian.tar.xz
Checksums-Sha256:
 5e82454d78f88a6dad30c044ad02675605ea7d9150ddcfd7f8d1f4fd60b642e2 119593 haskell-ogma-language-smv_1.7.0.orig.tar.gz
 f21960edc2b2fd0313399126a02905aff671a62eb165bab0a623ec003c8f171b 6800 haskell-ogma-language-smv_1.7.0-1.debian.tar.xz
Files:
 52f0edb3a368ca4a4aaf95d1ed66e07c 119593 haskell-ogma-language-smv_1.7.0.orig.tar.gz
 047b5afbf6991c6a2ea5b9f8e99efb1f 6800 haskell-ogma-language-smv_1.7.0-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmfjZHoPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiHtYQALt1zGFMDL44QTGrCq5EwYF2OizIzHj/q8GL
1ixVqBBCXJQVg5Eaa5LlUMbJcPaniiW/Aj0owU68nbGIqlB9VJ7vYjPHxBRVlOFw
ghqtJ9qVfuSmGVpj20FdSk7v9Ysax5bhNqZ6RGSQzTLaWkzWkfKxzGjU8FIb43VZ
hppeP/luthyBWmBY/rWz7QdA9rdsB9PPBXLJltIJUGlZbMfyh/o4D0rclHqhz7dw
xE1sgyGWGM0BfEZPaAkmbIJGvSKlKAy6EUxnqNNOHzb4ASfV/87MiCc4Qkd/XttX
QQni+TetnfbHEw964bUchmXW61dMcroo/Moeuux1GlFKa5WuWYT4XcaI2dy1SV5L
HsAQPuvmC+oOL/Yoq42e51XGUbrm1dRdEEVCPS2sF056qn9oJ5KMIt3WEf+hgq7H
bMx3CrEXV9LEXXMixWgM/NhY6HQ5T6rYFg+wUU4pP/Ab2ebrBypGOtxxup84C2zK
LqKHQEzKMf5TeHq2lcUAfz02pMr+rSzCeSCTC24OjmdYQCirO2lrM9s0NKQeiEFy
bXPI47db+gse1VkM9qghDX3toIjRvUUpnXK7A0j7/6V5BQVAlsD2BH5YVilR0K/q
SLYPI246Va6Eoh9TPsF5dDyGKX6jmfY/Z82HjPu7mtFOmt5h+lGlt9sAwuTcBTjO
10QXjemD
=XiuH
-----END PGP SIGNATURE-----