-----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.5-1build1 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.5), libghc-copilot-language-dev (<< 4.6), 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: b9548e51fae2bd525046cd1e3445734cc89957fa 19972 haskell-copilot-libraries_4.5.orig.tar.gz f1c066297fa0f0b59978a9089b1df28060b617ac 2732 haskell-copilot-libraries_4.5-1build1.debian.tar.xz Checksums-Sha256: 9f86f891db20fd4d1f87f11b99bd8d2c2a71897e29f28fdc22039088cd3ed16d 19972 haskell-copilot-libraries_4.5.orig.tar.gz ca1b2c4dc7884f3d29636ee0e6bbe2aec1c9fe3abc14970ad556fe6d015ddd70 2732 haskell-copilot-libraries_4.5-1build1.debian.tar.xz Files: 6ae7918a78eb7ce50c7ce64e515ca31c 19972 haskell-copilot-libraries_4.5.orig.tar.gz cbfa897affe659d9459c10b0ec8d905d 2732 haskell-copilot-libraries_4.5-1build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmjDv44ACgkQ808JdE6f XdkXsQ/8CTKRkVY98sp1o/lPBKsNvW1GwdyjF8nJ/q1U2+stwK5AY8HbhZAfmInH 7I3tt6Zdxt0OcBgm3q4BGwFi3XDNzXScJ/I04cXA0GfcpraUWooZeNrtRaxk4Grb Mur0A45l4U8HL9CCZ+lxOvHmCqa8V5BkWTGNJ0nUgNtRKUS7UEVLi79Jw2LXTUGR vwN8tOF5RygpA0TfBy+y0ZbRTaJIXY6UoqzkFmxpBwcdij19AGxGTzXBZmaCqlnM qLHhnt/OeH9M9FdUYnMrwBmXEj20bbhhJBBtonaWCD87TXFMJjLYrnrTbhOIWgWJ PLdhSoiK6aeptRKfbXV9CNl/2Fgv1jr/rU812NRbLNjkJS9EYdN/iA81cCLJ9Hwq 38qAVP1UwEFx5ygiItWfmpO8OfxQcHIzuK67E5ZuBhpefTo52+Hs49UiGDqw3kof swgNVZ/UZk9fKiMrFoM9K2fjXTJ5Y1R2qyizs5uWlB70tmiubI/QI1mBhT3zxJXx FH7J2aRiWairrHYubcGhAqPW19Fh7WbkECB964AYIIu7sytNWNC5/eancZbuV9qc n6glHCy9INskR2WEbrWLcpECqEi0riNSCyjqAZ4cFTkNSml/pIxZn+HO59W+V7DX KRkVZ3QbG4jCZL0tvjeNihpmfoA41uQea/Yk7w3mmwwsgF1KSpc= =5Jb+ -----END PGP SIGNATURE-----