-----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: 3.18.1-2 Maintainer: Debian Haskell Group Uploaders: Scott Talbert Homepage: https://copilot-language.github.io Standards-Version: 4.6.2 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 (>= 3.18.1), libghc-copilot-language-dev (<< 3.19), 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: 430b0c6aee784deb67964c88322432560dc2040a 19797 haskell-copilot-libraries_3.18.1.orig.tar.gz 30aaf9bd19eb688553e4ab78db37f8be3cf3621b 2556 haskell-copilot-libraries_3.18.1-2.debian.tar.xz Checksums-Sha256: 435fb4160e1fe4f5217a340b3c9998b0cb6885e3a9c02266ae42f35e61671bc1 19797 haskell-copilot-libraries_3.18.1.orig.tar.gz 5f33f7851aa27b74fdf76a628539af92175263454e887b190bace5a8bb4250d7 2556 haskell-copilot-libraries_3.18.1-2.debian.tar.xz Files: adefa068a72ea3bb91bd7ab13bc6010a 19797 haskell-copilot-libraries_3.18.1.orig.tar.gz 8513f96605629b3d8c0ca6291b53c242 2556 haskell-copilot-libraries_3.18.1-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmWdYmEPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iivSQP/iHE/9bh095tCP/P+0sJ5BL/8g4gtiEbRoMO xNrnLLOoxy9IO640TTykzyMzXUqfFrSseY9kHyOE3LU9efYIrUiT7rwaYIueROBU R6WcUtdqF1KQ1FYVJ8RmCNYUbOeENwk3ivStFc8Uo/SR9uX8qdfgufzQ/WbYs5vr An5MJ18HO8meRbl/CddY75qR2lVgWXRmTxRcnwPHncaTgGqVNlMONv03ful2CVKV kwVzB7uCWSKQILqi+92fy9Lg64h16ISH5nrsoznGoYIm8o19h/irKKqyvbeYZezV tM8zoIv0jzmiZkfgpGpStftpSTFQu7YGpmD2cw5yR22pMQaOdKUU8z1Q3AL8oWuE c1kybzJQ/zk/aVss9B3YBSLjirwWI9QiyPy+uRbjNLZ7EQ+IqtOYIAQ6xDIP1gXy HRdp2JMyoqvyB368hZ3viOzUqAEomkbsBHr/GWJX+4TT0VqUwzbSN3Ur0e29aWmA E9JTEu0edW7h+so7eR60zCQEmKpA2cgiaQKKhcZD7LJlAfCPlOUCa6PmhXPAxpJx mDoX3TjZLS+vkMVOtsiV83XC6u+p/cubw2Nx4FXUhHmC5bTVxqsuiX1SEdVk+2QB twy+RM6TIHv7B1+jHYLA4Al6cHeelMiOmLODLnJqKSYsbV4uTu420BcVd7qxTi6p uORqS739 =l809 -----END PGP SIGNATURE-----