Your message dated Tue, 04 Aug 2015 15:35:23 +0000 with message-id <[email protected]> and subject line Bug#793194: fixed in agda 2.4.2.2-4 has caused the Debian Bug report #793194, regarding agda: FTBFS with latest cpphs (1.19) to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 793194: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=793194 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Source: agda Version: 2.4.2.2-3 Severity: important Dear Maintainer, You may already be aware of this, but agda fails to build from source with the latest packaged version of cpphs. Build dependencies in the control file state that agda requires: cpphs (>= 1.18.6), cpphs (<< 1.19), However, now that cpphs 1.19-1 is available in unstable, this is no longer possible to satisfy. I have to admit I don't know why the restriction is in place, so I guess this might need some work in order to build with the latest version of cpphs. -- System Information: Debian Release: stretch/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 4.0.0-2-amd64 (SMP w/1 CPU core) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) -- mvh / best regards Hans Joachim Desserud http://desserud.org
--- End Message ---
--- Begin Message ---Source: agda Source-Version: 2.4.2.2-4 We believe that the bug you reported is fixed in the latest version of agda, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Iain Lane <[email protected]> (supplier of updated agda package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing [email protected]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 04 Aug 2015 14:46:23 +0100 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin Architecture: source amd64 all Version: 2.4.2.2-4 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <[email protected]> Changed-By: Iain Lane <[email protected]> Description: agda - dependently typed functional programming language agda-bin - commandline interface to Agda agda-mode - dependently typed functional programming language — emacs mode libghc-agda-dev - dependently typed functional programming language${haskell:ShortB libghc-agda-doc - dependently typed functional programming language${haskell:ShortB Closes: 793194 Changes: agda (2.4.2.2-4) unstable; urgency=medium . * [d59dba4] Revert modification of upstream source in a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied. * [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes: #793194) Checksums-Sha1: 33df4ffe123a49e2e6cdbeb887cac60256650b29 3594 agda_2.4.2.2-4.dsc 12361224f042489c80c86495ed2b3c7d9f677f61 8792 agda_2.4.2.2-4.debian.tar.xz 6b5c1d79b62d3cbe6e754b6fe292f38a2abfc398 4550074 agda-bin_2.4.2.2-4_amd64.deb 5311bec091dc9cbcff310d1f31e15fafa94513f5 90082 agda-mode_2.4.2.2-4_all.deb 919cee9c05d05d4af80ec7f3318727eae6b79f1b 58142 agda_2.4.2.2-4_all.deb de04ea35f42752b93c1676d4b20e77a9aec6fb71 10705660 libghc-agda-dev_2.4.2.2-4_amd64.deb 8a6aa7813378d444a5b39e9cee835b1382fbac4e 2031594 libghc-agda-doc_2.4.2.2-4_all.deb Checksums-Sha256: f8057c7f50db563c7445291bb5d838848d6e660ffdf8b383a74b9045dfbe059b 3594 agda_2.4.2.2-4.dsc 63f6e1b5642a2cc3196e213bc092d877da3ad8829abf73a1b1a9f41804657c32 8792 agda_2.4.2.2-4.debian.tar.xz ec9637c7ce3938b16139fed3b02fdd4c3e09924b93d11a9c43a73494fe14409d 4550074 agda-bin_2.4.2.2-4_amd64.deb fd14231e4c7347f94f5509dcf0a7a8c40c08ec33be32eff28f38987415e0592c 90082 agda-mode_2.4.2.2-4_all.deb 4f3a21430a44cc63096f4d945d22633d438d4a444ba67612fc0c1385cb1ce8cb 58142 agda_2.4.2.2-4_all.deb d83695f37f616fee5c2d6fe6ec748901564e933e1e32fd00af40cb791bf4d78d 10705660 libghc-agda-dev_2.4.2.2-4_amd64.deb 2137f206b7611d65f9b115fec1bb4ebbb3f126d4dd6a6133e4198670b925307b 2031594 libghc-agda-doc_2.4.2.2-4_all.deb Files: 2cb10dc6c53596ae1328b4e71698651d 3594 haskell extra agda_2.4.2.2-4.dsc 52315003972addb06efae13e8c543b36 8792 haskell extra agda_2.4.2.2-4.debian.tar.xz bd9947f7e907fc58eccd802d8ecb54bb 4550074 haskell extra agda-bin_2.4.2.2-4_amd64.deb 49fec4d8e12e5016c1451c040e58c2cb 90082 misc extra agda-mode_2.4.2.2-4_all.deb f9f902df43cceb357bb4eefc8a2ebc40 58142 misc extra agda_2.4.2.2-4_all.deb b998aedd994f07f5caaff9ef1646d6cf 10705660 haskell extra libghc-agda-dev_2.4.2.2-4_amd64.deb 41d5cbb9627117315816f9d859b6dfd0 2031594 doc extra libghc-agda-doc_2.4.2.2-4_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJVwMaUAAoJEONS1cUcUEHUcWwP/3Ki5ON9WFaJDIlXzvr5Q1dy H2Ax2gfATg0iKlBa2IdWonGlyjXT3tEaoostsYL7vKZZI6MrrrHYa1StpIRqstEH SYI2RLuf1IkhyyZ3fso5hEJRb7SsAdtHM1cKHN7uSFy2DSGrRSoJ3KeKvnxdlKqs kKpPSxwT6+gqv7vrHvTj+Q5wk0j5PJXaCB+1z773XFx4wbfX/LZcl1MpkAvMMC+L Q2l/86as/DquHJDNhe+uVNpaHyGrDMzASNO3495K8TCKh1xWv/xPXbLePMzAkfnd /tFBNCyxfDuvyVNquHmkJOsXNVTgGrkqsTmYhJbH1K14rjrZM336NfzI1OHDZ5y8 tqXm/bcAEbPjhGEV8KJjrWQsMBTh1K9txM/pqCMnu3KcM3YwlhfLLEqHQrLrxMlz YEqJaGHzZBavWolm9jm6jPMc/pU8I5Iv+T9zpoG1JEtMAFwc3SjqN9V/ySBpQmLs s149AmCW9QLjt51zWsq9oT40H0IW8CBnZ6Uh1LOdaQy5cUH/MBv050ghrPnQxEsB eHpQkgnYk/fFy/jcCu3G/7mcAd7nt7w/CScM4gvZWjUKTIBYcLW5FELNz1atPxXW EZA35t7PXY4yKbWShD2viC/ctKfTrVbYlYiRJeJHgCNx1kQdfW/vf+Edhjia7LfW JIoeEiZelk3AeojuLWAH =787H -----END PGP SIGNATURE-----
--- End Message ---
