-----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.3-1 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.3), libghc-copilot-language-dev (<< 4.4), 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: c2372d8da960f79f20a6dc24c4a1187df63535ed 19953 haskell-copilot-libraries_4.3.orig.tar.gz 02462bce1f0f2e889e45e0f7485d805b8e10075c 2644 haskell-copilot-libraries_4.3-1.debian.tar.xz Checksums-Sha256: 955e040cc9ea25cf19e82c14c94f675091c82105b60c3dcd6eebf78cbf396afa 19953 haskell-copilot-libraries_4.3.orig.tar.gz 5d45180bc4a00ab445f882f3f115fb08e64ac05ef1e9b0e10c25a110c3778e02 2644 haskell-copilot-libraries_4.3-1.debian.tar.xz Files: 209f76858a3760f829baf57214055c7f 19953 haskell-copilot-libraries_4.3.orig.tar.gz d78842dccc325239b6de4a5fe7ab5661 2644 haskell-copilot-libraries_4.3-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmfoKssPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiSXoP/RfYpuvutfFz4Tq3AjCaHussyNLxS1oKgb44 9oAq2WCY1SWEpGKv1zw2RJYZCH8U2xfYe8z/6Ce9GvNhK1b+DqxM3o5bEoqUWKUk OV5nMxqZ4oNKyCvt30+aDDjVSMa544EsWSspY1p76KrLBBott5FL0D1ohclX8bRT RmwEo9SBMccv8nIz41DOYVIMKluTfNWjB8eofcbmobRaxWgg/FONCKzo1EqxWaEt atVm8Mwgzc8pIIhzlfDrZDB7+2H+bZ9jZmvbD45nz6WEE4NpjoXEasW8taj97Huc pGImV1aPUlJV+B6MCfxlOLwAW/+TUglXP+Dd/Mp+JP08NvvGsrd3koyi9dMYIndi jVCpyeglasD6DzrZCmEuYUcJPRbTFQghbS+3F5gIssNLUhGa0QYM2d5vqHRo6R75 V5/6xOa51TtwOzLsYIGq/Cu1d+bbpcPzE2Z3QPlqUlsTpSo3HYZ0DYUciAOS7pb4 0TXNCD2RsOE6M2gT8ZjEeI5bdXCsFqx+DfFcIDtNHYGJn2Mxf2ZdEhaaagS/UihA M0kZPDSacyLwYLN54S+nQ3zVS+rZ9EvRqvo3aS9qj9guaIhyjcfVrZeUakontFd4 9iLURYAyr4bWjpj+Kl4R6ucDlbQfoaXnTNkpvnC00JhjTNoMYQd+Yc0Q2OJgXYZ6 sliCTYw2 =obAs -----END PGP SIGNATURE-----