-----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.14.0-1 Maintainer: Debian Haskell Group Uploaders: Scott Talbert 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.17) , 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: e563a1ba67be6c708a541e54c654cea50662bf5d 8706 haskell-ogma-language-smv_1.14.0.orig.tar.gz 28c2f553f1a80167e074ff6ad814fcae17d658c6 2176 haskell-ogma-language-smv_1.14.0-1.debian.tar.xz Checksums-Sha256: 3e82a243b30a42cc268c10ba5adb8b143fb2cb3c40a642d69afb8b30f90bd37a 8706 haskell-ogma-language-smv_1.14.0.orig.tar.gz f530e44af40077eff97f24355d34a1004b407ef736ad093776ce4d5f2ddbbabf 2176 haskell-ogma-language-smv_1.14.0-1.debian.tar.xz Files: e1b149a2882ca30085f96ba21d556786 8706 haskell-ogma-language-smv_1.14.0.orig.tar.gz a50887371c18eb54610273cb8c7eef9a 2176 haskell-ogma-language-smv_1.14.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmo3KLgPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiJl0P/A97QY98SZ5AFLebFGJizK/6WMRmvPZ+7XkJ IxPPDhq6LT4paIb1HZC+dr+g8rk1D0h0GFbcwwV+3ffrAYswlPn32g0lcPFq+/gS K8wdoNWopr8Um32INtzIjEkd9TboXWvkRzSIm1eOGq15VKfu/Cd8VNmfVliKXWm5 fcki12QZXFSoZGIsuHGRrCEpDv8ZNoWJyU7JM7wAG6NbzZwXKATdn8ezzrJSHvmM FuIpT8AwzUgngtK3BKu0x//5CXPk4AHuUY8r3ppsc9Ev9XHH6YGZnj9YJYF9ssXL qoC42MhnvliIN+QbgiAGtyIMobtuGzxVUaFAjWlLR1g0wsv7WIlg2DpVVjVxXApx 0sO7AYhorsKi9e/Bmx0LLQmbk6eiXPvVvpnILsSZVWGX86VLvaq26Mrrv8Uhamal a3LM5BMt1jVxFSwnrCt5HLMOkO8WOmXPpC9uPqHAd9zzFXIl4IWgaoZM4q7++2v8 xf4F3i3TF/YCebYL0mhbg8z87N+IHc2iW+sWGMeGAuK+WoYr4DdCcTR0ckmKx/j4 3Hv9DX96YcajK0B85liH0eMNp1fEBEU4RivgD/swkRYs8QcULdYWcNpwjepY/x3r ALXyGzHUaUHHCWhVuJQha8M7uvfOrv/40PMBg8U/j/QpRs+rHTIcfCTEq2kJVHfO Gq9LYNDs =V/+N -----END PGP SIGNATURE-----