-----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.6-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-compat (= 13), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), dh-sequence-haskell, ghc, ghc-prof, libghc-copilot-language-dev (>= 4.6), libghc-copilot-language-dev (<< 4.7), 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: c505cfa8e5ecd2798f20c4f6d8489296f0bed678 19988 haskell-copilot-libraries_4.6.orig.tar.gz d6a9719557002e91a8287edca084ff31baeabb3b 2596 haskell-copilot-libraries_4.6-1.debian.tar.xz Checksums-Sha256: 9770c6801c57f524ba224d9c6fc2364d3516c152cb462daf15378893b0a7ae8a 19988 haskell-copilot-libraries_4.6.orig.tar.gz 8dd83ba83dd3300b5a68dd47464badcd3717115fa672b0c57e76b33d6c258502 2596 haskell-copilot-libraries_4.6-1.debian.tar.xz Files: 448accc902a640c32a763da4be4f1756 19988 haskell-copilot-libraries_4.6.orig.tar.gz 7fc51e117492089fd0c3dced146b17e3 2596 haskell-copilot-libraries_4.6-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmkSjicPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3ii2YEQAKe7VvUbtrQA+6JENCSeKnKTvKKni+IxBWNc FcpuwIZTrulPiMz8EK/a9/UPy0PsZT097VpgNHWBFREfeO/y0HmJxLD56xFH946I u4E5ggD2eRo+zRYA+K4O/UJ+l8NxUFWaLXIiEgTdWrGhZuQQzbY6it8qJ00KCpwW nhh/f4Z5mE7HSAXF0TdBown35S+LfqGVgVHbd4exrFTWXWHaxs5PdotK4CaixFP4 2+lkw0n099//OCCb8NbGBSv3Dcz+z63DqwGGwxt7/rC8of/EQ6xI8T3u3pTPkjjA FcOFJaaWfBextO1KTszvZBmvciYjOl5NwS1RRG7naaaulokphJNOQNZ4e3fqXp9T w6IHzRZDP5yUqFi8pzXNllxXC/d7H8yOq63DDDC21GEHnDEE2SFHUaMO3PFhWkB3 UWzOnNCM7SzAxR8ALrMolDNbIHtiZd8rxUFvLyiqlDKsCw+DQDdBD0lAPVnsjSNf H1/BNo0WOcdYVs56g01SmmEJLu5xl+M48cN/l0IPwwgDeAom2wr8AeNutG/sziXh fywx+pc6xao5vF0NVkB7twUzWV97O4ZI5n/YnGwqqc6igVbJ74wscSTBBrk4Ufqk e+yaGLRpuX64sSNJmmsfP/lyHdf1cAlfkVqDr79SjlftFMdbJQoLkNI6hFUBGIBf hEFjRozm =nFaM -----END PGP SIGNATURE-----