Your message dated Sat, 04 Nov 2023 12:34:20 +0000
with message-id <e1qzfr2-001ghl...@fasolo.debian.org>
and subject line Bug#1054936: fixed in agda-stdlib 1.7.3-1
has caused the Debian Bug report #1054936,
regarding agda-stdlib: FTBFS: unsatisfiable build-dependencies: agda-bin (<
2.6.3~), libghc-agda-dev (< 2.6.3~)
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 ow...@bugs.debian.org
immediately.)
--
1054936: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1054936
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: agda-stdlib
Version: 1.7.1-1
Severity: serious
Justification: FTBFS
Tags: trixie sid ftbfs
User: lu...@debian.org
Usertags: ftbfs-20231028 ftbfs-trixie
Hi,
During a rebuild of all packages in sid, your package failed to build
on amd64.
Relevant part (hopefully):
> +------------------------------------------------------------------------------+
> | Install package build dependencies
> |
> +------------------------------------------------------------------------------+
>
>
> Setup apt archive
> -----------------
>
> Merged Build-Depends: debhelper-compat (= 12), agda-bin (>= 2.6.2), agda-bin
> (<< 2.6.3~), libghc-agda-dev (>= 2.6.2), libghc-agda-dev (<< 2.6.3~),
> libghc-filemanip-dev, build-essential, fakeroot
> Filtered Build-Depends: debhelper-compat (= 12), agda-bin (>= 2.6.2),
> agda-bin (<< 2.6.3~), libghc-agda-dev (>= 2.6.2), libghc-agda-dev (<<
> 2.6.3~), libghc-filemanip-dev, build-essential, fakeroot
> dpkg-deb: building package 'sbuild-build-depends-main-dummy' in
> '/<<RESOLVERDIR>>/apt_archive/sbuild-build-depends-main-dummy.deb'.
> Ign:1 copy:/<<RESOLVERDIR>>/apt_archive ./ InRelease
> Get:2 copy:/<<RESOLVERDIR>>/apt_archive ./ Release [609 B]
> Ign:3 copy:/<<RESOLVERDIR>>/apt_archive ./ Release.gpg
> Get:4 copy:/<<RESOLVERDIR>>/apt_archive ./ Sources [739 B]
> Get:5 copy:/<<RESOLVERDIR>>/apt_archive ./ Packages [771 B]
> Fetched 2119 B in 0s (0 B/s)
> Reading package lists...
> Reading package lists...
>
> Install main build dependencies (apt-based resolver)
> ----------------------------------------------------
>
> Installing build dependencies
> Reading package lists...
> Building dependency tree...
> Reading state information...
> Some packages could not be installed. This may mean that you have
> requested an impossible situation or if you are using the unstable
> distribution that some required packages have not yet been created
> or been moved out of Incoming.
> The following information may help to resolve the situation:
>
> The following packages have unmet dependencies:
> sbuild-build-depends-main-dummy : Depends: agda-bin (< 2.6.3~) but
> 2.6.3-1+b1 is to be installed
> Depends: libghc-agda-dev (< 2.6.3~) but
> 2.6.3-1+b1 is to be installed
> E: Unable to correct problems, you have held broken packages.
> apt-get failed.
The full build log is available from:
http://qa-logs.debian.net/2023/10/28/agda-stdlib_1.7.1-1_unstable.log
All bugs filed during this archive rebuild are listed at:
https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-20231028;users=lu...@debian.org
or:
https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20231028&fusertaguser=lu...@debian.org&allbugs=1&cseverity=1&ctags=1&caffected=1#results
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
If you reassign this bug to another package, please mark it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects
If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.
--- End Message ---
--- Begin Message ---
Source: agda-stdlib
Source-Version: 1.7.3-1
Done: Ilias Tsitsimpis <ilias...@debian.org>
We believe that the bug you reported is fixed in the latest version of
agda-stdlib, 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 1054...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ilias Tsitsimpis <ilias...@debian.org> (supplier of updated agda-stdlib 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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 04 Nov 2023 13:55:07 +0200
Source: agda-stdlib
Architecture: source
Version: 1.7.3-1
Distribution: unstable
Urgency: low
Maintainer: Iain Lane <la...@debian.org>
Changed-By: Ilias Tsitsimpis <ilias...@debian.org>
Closes: 1054936
Changes:
agda-stdlib (1.7.3-1) unstable; urgency=low
.
* New upstream release (Closes: #1054936)
* Apply multi-arch hints. + agda-stdlib-doc: Add Multi-Arch: foreign.
Checksums-Sha1:
9205cb0133bc6d8e2197e88355aa2db13324a9fe 2157 agda-stdlib_1.7.3-1.dsc
553cfbfe41042527f03febc14b43631253c2623a 942086 agda-stdlib_1.7.3.orig.tar.gz
cf5b5c4a5f6311e21043371ac4e17d4db5def78b 5732 agda-stdlib_1.7.3-1.debian.tar.xz
b5a25377ea728fce09e741109dffcaa640509fe9 9396
agda-stdlib_1.7.3-1_amd64.buildinfo
Checksums-Sha256:
af6fa95a71e7e33b3039c83bb65bb8b410dc8558b5ea7c2929a121953537c9ae 2157
agda-stdlib_1.7.3-1.dsc
91c42323fdc94d032a8c98ea9249d9d77e7ba3b51749fe85f18536dbbe603437 942086
agda-stdlib_1.7.3.orig.tar.gz
308208d0d6be3acce2860351bf71592b4c3d7f3485f0c58d39e48003dbd8c93c 5732
agda-stdlib_1.7.3-1.debian.tar.xz
808fd8060ca2c1173a9a8b4f07798b93c6e6cb7d231948b4b05d1691f608cabc 9396
agda-stdlib_1.7.3-1_amd64.buildinfo
Files:
191eba6ce103e2e870bdaa152ca92609 2157 libs optional agda-stdlib_1.7.3-1.dsc
c43ed820648c482f48706bd0503c6024 942086 libs optional
agda-stdlib_1.7.3.orig.tar.gz
c6fdd2b353661c40598bb2e7a1ce44ef 5732 libs optional
agda-stdlib_1.7.3-1.debian.tar.xz
cefb6c7ce307de7bb08361a41d540ae2 9396 libs optional
agda-stdlib_1.7.3-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmVGOS4UHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDyi6A//WyMnlAfweezB0bLE+kdynEGTW7oy
6Zg3qnZ7QOXra58b9jfDWk/FvnYjVhHIpctbiXEEFhlBtzuITtpVGa8UdUq0neRE
heE1LwBDO736c0iMnOQRrOnQqRumqjrWCAid8F2fYsMZt6u5tuXSFAg/gzrZqvPM
1U2CiqvF2jQxw/wLHko/bgKtk68f62yjw1G+lLxaAGEtMgz15jKTxXrq/JcuHz11
zBKiYo7clm+BJlZ9RbVTC5FnnBBLQLhBRvgOo7JOf99mdX5ioBpoQmlyz5lKLfLj
BIytCUVQeEtenXCQ7onJwyi9Co4ji6A/FJWO773JyKoWj51NPuow8kuv3nYwgKGa
HwoAkMo6WVZGaW1n/YUoOXmFLEmM1Fs2F5fhT2Zqhq/WxcoyyxdmtmYI8UrcvTBF
pJAd3xLrJHGWK75OGf+9SlsmmIjKe4s+Epd6oT86P9M9KnRfIcJU+3Sx4TJUIcIN
QmOq/N/oR5YzlZcCYuKrr5Qd8ivBCWFvZ8IbIw0ghiWrnsOr5MIDv1hfkpE9Lp/x
9iPiUCB47iNCKDVaO5XmCrBjMbYSqG5YjcQpQ42NFkZlROR0bGw2shE7G6zacqGl
DQJvaZvw8BDAB/sr58xjOtQplncZlPs077SKVa9DxsWeEr0K6VVuzNdRes9gEVYO
4kpag4vwWdHQM/A=
=chc2
-----END PGP SIGNATURE-----
--- End Message ---
