Your message dated Mon, 15 Jul 2024 14:35:08 +0000
with message-id <e1stmne-00aobi...@fasolo.debian.org>
and subject line Bug#763462: fixed in ben 1.5
has caused the Debian Bug report #763462,
regarding Package marked as bad although it is “uncompiled”
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.)
--
763462: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=763462
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: ben
Severity: normal
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hi,
currently,
https://release.debian.org/transitions/html/haskell.html
lists agda as bad on armel, armhf, hurd and others, although it is in
state "uncompiled" according to wanna-build (and hence there is no
transition problem). It would be nice if ben could be more accurate
here.
Thanks,
Joachim
- -- System Information:
Debian Release: jessie/sid
APT prefers unstable
APT policy: (500, 'unstable'), (101, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
armhf
Kernel: Linux 3.16-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=de_DE.utf8, LC_CTYPE=de_DE.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlQqrLAACgkQ9ijrk0dDIGxlqQCfW95Heoxxmb76DUb+Cpn2/cPG
EpwAoMePZVl8kmMgDA2vgDFyolT5/wQG
=0H1C
-----END PGP SIGNATURE-----
--- End Message ---
--- Begin Message ---
Source: ben
Source-Version: 1.5
Done: Stéphane Glondu <glo...@debian.org>
We believe that the bug you reported is fixed in the latest version of
ben, 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 763...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glo...@debian.org> (supplier of updated ben 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: Mon, 15 Jul 2024 15:31:54 +0200
Source: ben
Architecture: source
Version: 1.5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glo...@debian.org>
Closes: 763462
Changes:
ben (1.5) unstable; urgency=medium
.
* Add build-{status,architecture} pseudo-headers (Closes: #763462)
Checksums-Sha1:
abedcef023044d01dcac9fbc77524ebb2c8d9296 1863 ben_1.5.dsc
3239985806955b2937901d52c0198e58fb230060 73588 ben_1.5.tar.xz
Checksums-Sha256:
e4735510efd91074fc72fdba0bd688bd56a3d28ec1303bcef68d301c15e7593a 1863
ben_1.5.dsc
1af957b41f4b6c5e722c25c2b33ac2bc666da6194dda407a5717733675afd415 73588
ben_1.5.tar.xz
Files:
c736cc43a8772a7a4604009ac92df9ee 1863 devel optional ben_1.5.dsc
28e0fefd001653ec44c40d5cdf7c711f 73588 devel optional ben_1.5.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmaVJiQSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBRqkIAIB77GkrsljT/ZUMi9re3US3YJd0ICtz
vPayHcmroU8g8CNCtU4map43HzZt+nMU73h6RJ/8YfkHSpwilwxR/C3iRAw6ncXb
/VLfX+ggfpjd2mJ5zG2pAb49fM3HAmdAMsLacn9XSXvG4pebThh4KGXxxzyGlSXU
ZIebLVXC6Z7bQof0OD2HMrmBHA4gsHuuJhJkaqUNxCzOg7Epjj1mdsAbuyAn/1ZQ
tRisotNrdpW3OjWvlko6jrLiXrnG9rcl30zbL9cm28BbZuiINEgkV+RIfbNj1vVb
/3e0AEfiMa8lh0Iz2AS1nKWVvlgPjMnkfR3Zv43WTopwa0Ez78UvZXc=
=2VfM
-----END PGP SIGNATURE-----
pgpPis55hE5J9.pgp
Description: PGP signature
--- End Message ---
