-----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.8-1 Maintainer: Debian Haskell Group Uploaders: Scott Talbert Homepage: https://copilot-language.github.io Standards-Version: 4.7.3 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-compat (= 13), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), dh-sequence-haskell, ghc (>= 9.10), ghc-prof, libghc-copilot-language-dev (>= 4.8), libghc-copilot-language-dev (<< 4.9), 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: 5d263842230cc0c432a8c1bff832f5fbaf35456e 20863 haskell-copilot-libraries_4.8.orig.tar.gz 9695d8396a88e1d2583352361910738eda0765d3 2680 haskell-copilot-libraries_4.8-1.debian.tar.xz Checksums-Sha256: 5d89122cc43bd56de64154793654211a02acdee99ff5590cffaa7fa2ec5215cd 20863 haskell-copilot-libraries_4.8.orig.tar.gz bc1fbbd59f2c009664a809c9809094f781ef2b59b76145a8272cbfa97c70b83c 2680 haskell-copilot-libraries_4.8-1.debian.tar.xz Files: 54f7dfa6db18b5a24afaddd61fa3f3e1 20863 haskell-copilot-libraries_4.8.orig.tar.gz 1cd9aa61627a6f4b4f494987405dfb20 2680 haskell-copilot-libraries_4.8-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmpjfnEPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiNfQQAJFbJ8uBipG5Pd3l+aZqhwgJ8+LhPvlFuCoB 1Btn7zEmiPMeFzricIVHDhDqIAzUmqcuTSw3FWwar6Q4NzyjrheaUF6qTioxx+fG d7vcHxkA1UgsyGWaaSM9sVJtjY/foOJFjZSV8S4DilDypmKatp/J/oxTKOGQPW1M sLlxipA0KvkhSTt8VGzqvOBsAKski/8YDVgk8RAegpjQSR/fNa6yEQPOY2MzBDf3 nJDuWvc6aBUC7Y9N7yRbRhNypPWBkj8Y1iYrjBEgpAqCXDOoZrgwk3H5L8/gIF4P A7YNl578vYFqRpZso/03ePp1IGzUdq143WPAyhtLkABeJX4UUnMu2XM/UaMA4EuN /TMeZoX7KZX7E5qyKbCCnrp3CmK4bYJJKXwpT904tvieyewhABQUD1+VGJXawztS lnA9kQOQAZc3h/Li6XxOkMDw7ovLbb3JooZbjEtDVQbzueMvfIUQM7lpu8tglILf 2GYPlAt0nVkFkUkOdxj2340QsEBg0D4rLXXZZ7eMEtQzy141l/BU0U6jZiqkz3e8 W7E5xLltnPydjb+kqP3h+K1RlXo67D06Dglcq8IrUh8Uhk9fMw7dsuzXtIQ4ieIM KLcKmHIBD6vZW+2QSsHto1MzPh6RvTwKStgxw0adsZg3+oNrE+IlZTjOnFp7oy/g G6QPNvef =0G2Q -----END PGP SIGNATURE-----