-----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-2build1 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 74b1e21294398cf0ce5b16baaab40f4ee5b77e9e 2692 haskell-copilot-libraries_4.0-2build1.debian.tar.xz Checksums-Sha256: 794988390f8a11d6e6004186e3a2875d07d9e7e5a1b88b3b6105b709de25fc7d 19933 haskell-copilot-libraries_4.0.orig.tar.gz 8975363683ffbbca6992359865f4804a2a4ff4512f5d1c0f88314a341efacaf7 2692 haskell-copilot-libraries_4.0-2build1.debian.tar.xz Files: 7445cd974a2da22181d727c4be65e408 19933 haskell-copilot-libraries_4.0.orig.tar.gz 04093b5f1e4ec92d93818db027e9a1ec 2692 haskell-copilot-libraries_4.0-2build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc/D4EACgkQLIPbyOm9 DjeKgA//bBnE3izXM3622xEA3eBhIDqBMq1WfO1TVwWxyBAnqulW3goqDH5IgLuj EdR/ilak0JLGbrSx+195uW5n3Akx9qOcOAsLBrG+DZZ0uk8JnVK1UoWxDD53SOAK B0pgLHwF/DBOgwQbL6Zoan199vZ7OcylWbiNqmHuU10njGmL+A2lKmJPsInrX+04 A7/DPmaxx7O4ledrgH5l9GkXytCVFnsOlDRSmspwcn4NYPCkIxbtBt/gllioCaUb Or20CpgiefQiYOP0UhEWQwh9U56DLsOJx+qT4GePidt+d/kRflbgLXZtaMzYK0AE Nyb38B86lR0G/uWHc0DUHO9vhTJDljd/giQ1PsCvJAguvpE3ujYY+no2dr1h7iYJ qpKFnb/RzG77QyqdmNWX9qtxtgSIGQpe63DI8svwjC+6p6YfTOGjsUvEmSUR2/Dt 7cu87xeA3sWV6SgHyzRJNoWnyaSDEaMWcUpysRTMMguXnx3FNs2MCzI7UYPgO6JM NvflykoKOjLdp5QXr2Ij8FKB16MhEgFwaSweOQdvwVEvs6gJyWlWYhw6jrvyheWg J4kx+vG8T0pD3rnzzzv6FNxMDRZ2pLGrxBTKvIQBqMcc5tDLMWNi+oCFqlbxxB+K AOlUqZdtng2pWz8sH7aBpTj1uR7MkBHsXA1dcguLKQZH6B0QQbQ= =0/M4 -----END PGP SIGNATURE-----