-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: haskell-copilot-libraries Binary: libghc-copilot-libraries-dev, libghc-copilot-libraries-prof, libghc-copilot-libraries-doc Architecture: any all Version: 4.0-2 Maintainer: Debian Haskell Group Uploaders: Scott Talbert Homepage: https://copilot-language.github.io Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-copilot-libraries Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-libraries] Build-Depends: debhelper (>= 10), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), cdbs, ghc, ghc-prof, libghc-copilot-language-dev (>= 4.0), libghc-copilot-language-dev (<< 4.1), libghc-copilot-language-prof, libghc-quickcheck2-dev, libghc-quickcheck2-prof, libghc-copilot-interpreter-dev, libghc-copilot-interpreter-prof, libghc-copilot-theorem-dev, libghc-copilot-theorem-prof, libghc-test-framework-dev, libghc-test-framework-prof, libghc-test-framework-quickcheck2-dev, libghc-test-framework-quickcheck2-prof, z3 Build-Depends-Indep: ghc-doc, libghc-copilot-language-doc Package-List: libghc-copilot-libraries-dev deb haskell optional arch=any libghc-copilot-libraries-doc deb doc optional arch=all libghc-copilot-libraries-prof deb haskell optional arch=any Checksums-Sha1: 95a2865657116d79e0db546524925d7bb3a77089 19933 haskell-copilot-libraries_4.0.orig.tar.gz a41781cb18d45d17f7e18aba1d06fd4aab7d07ea 2624 haskell-copilot-libraries_4.0-2.debian.tar.xz Checksums-Sha256: 794988390f8a11d6e6004186e3a2875d07d9e7e5a1b88b3b6105b709de25fc7d 19933 haskell-copilot-libraries_4.0.orig.tar.gz 6f8a43f30f4d299e3619dde47bf091d57a8d5a09b3fa84c3275b316c5a535477 2624 haskell-copilot-libraries_4.0-2.debian.tar.xz Files: 7445cd974a2da22181d727c4be65e408 19933 haskell-copilot-libraries_4.0.orig.tar.gz 6d0790fcb7249abd5c4c3b1eaf854942 2624 haskell-copilot-libraries_4.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmcFZwgPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiVUAQAKXKODhbV6X0ygcVLtLelV7EtUYzu1FGIshY i+iVTXUkbk8FA77SAW1HCEsISrnM9i/abPYmijMIgjj7ezy8BIoASHTu4VfPQ/zf 7eZ42A0+7NYd6tTVXletFarVYEyFyy75qJigSt+6CScws3Y2d47Ba1KoPh0kNKu8 JndADU1ZbGsBmfCMPO+bYvY7aJkZ3jRIM8Gw/ozLwlOXtseqdfSoQ7vd5D+OJU63 NkxXodIB74IMxayyH3Hz1EKPBYYIo0hv7dOq6rg7O9yh5S1lLUbTvngQGPgMdUkR FehZIPEW9C7eed/R/9KJb32C22pRlZW0lkIC2gT9Cq1SE0JgmySsZ7HtCjclbFMr BJpQhFl221/0CQWIjayMDm9LppAr18U/bxc+y5SwTZj4JR7aoZmNc8i1vylcBIR6 zvIoRk2VT5+s3Mol78lp6nV3bOHzEpBIa2URsGi9/P0OJZn8Eh5kP6cpogyTdDQz bWm10FUjsrphglorSwQn0KKzloHGGhQtSUT4Dtjc4GvSF+F4ba5l0J2s/DM9yQHF 2mrmjlNfOQXmy2iHAaXSvXcEuOwCry+UwkTFnMsk7lf7umlby0eD068R1VjO7Mab jWsRaKGd7BOtA2cl22I1snAFv1D3dwTOzl9/Egbsh8Li5gs+wozOH7baanZXgMTT Zl5rw7F0 =PSt7 -----END PGP SIGNATURE-----