[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#977737: marked as done (alt-ergo suggests why, which isn't provided by any package)

Your message dated Wed, 27 Oct 2021 20:33:40 +0000
with message-id <E1mfpcC-000GgW-HQ@fasolo.debian.org>
and subject line Bug#977737: fixed in alt-ergo 2.0.0-8
has caused the Debian Bug report #977737,
regarding alt-ergo suggests why, which isn't provided by any package
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 owner@bugs.debian.org
immediately.)


-- 
977737: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=977737
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: alt-ergo
Version: 2.0.0-7+b4
Severity: minor

I'd send a merge request but I don't know what the proper fix is here. The
alt-ergo package Suggests: why, but it seems like why is provided by the why3
package. Either the Suggests should be fixed, or why3 should provide the why
virtual package.

-- System Information:
Debian Release: bullseye/sid
  APT prefers testing
  APT policy: (500, 'testing'), (2, 'unstable'), (1, 'testing-debug'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 5.9.0-4-amd64 (SMP w/2 CPU threads)
Kernel taint flags: TAINT_USER, TAINT_WARN, TAINT_FIRMWARE_WORKAROUND
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages alt-ergo depends on:
ii  libc6                                   2.31-5
ii  libgmp10                                2:6.2.1+dfsg-1
ii  libnum-ocaml [libnum-ocaml-80ki3]       1.4-1
ii  ocaml-base-nox [ocaml-base-nox-4.11.1]  4.11.1-4
ii  zlib1g                                  1:1.2.11.dfsg-2

alt-ergo recommends no packages.

Versions of packages alt-ergo suggests:
pn  why  <none>

-- no debconf information

Attachment: signature.asc
Description: This is a digitally signed message part.


--- End Message ---
--- Begin Message --- 
Source: alt-ergo
Source-Version: 2.0.0-8
Done: Ralf Treinen <treinen@debian.org>

We believe that the bug you reported is fixed in the latest version of
alt-ergo, 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 977737@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated alt-ergo 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 ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 27 Oct 2021 21:28:46 +0200
Source: alt-ergo
Architecture: source
Version: 2.0.0-8
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 977737
Changes:
 alt-ergo (2.0.0-8) unstable; urgency=low
 .
   [ Debian Janitor ]
   * debian/copyright: use spaces rather than tabs to start continuation lines.
   * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
     Repository-Browse.
 .
   [ Ralf Treinen ]
   * Standards-Version 4.6.0 (no change)
   * Drop "Suggests: why" which is no longer in debian (closes: #977737)
   * New homepage at OCamlPRO
Checksums-Sha1:
 65a167dd31dad7b314c8a96ba2a749c4df7303ea 2138 alt-ergo_2.0.0-8.dsc
 da36eb2c6beb55497d0a57012da83bcf667e4beb 7380 alt-ergo_2.0.0-8.debian.tar.xz
 584b732dae16ccf6fed1d958b70632ec03d98e75 6401 alt-ergo_2.0.0-8_source.buildinfo
Checksums-Sha256:
 cc9e9dafda826db35716041c3626988a23d84068929b0c61d9866db6190a152a 2138 alt-ergo_2.0.0-8.dsc
 9aa91dbe4346bde850bdb2d2b4f1178a7367485c98d3c3cfce0b59b19ca5b43d 7380 alt-ergo_2.0.0-8.debian.tar.xz
 02f82bdbb70018e8633c1e29dc06ad2d591df07eb84646bff2b90085953644bb 6401 alt-ergo_2.0.0-8_source.buildinfo
Files:
 3f40e58e94219419811d2a12dd95f88d 2138 math optional alt-ergo_2.0.0-8.dsc
 fed3bd86dcad939470c7da405c218585 7380 math optional alt-ergo_2.0.0-8.debian.tar.xz
 2606db38dfe3d8c06a5eafaa91a7c766 6401 math optional alt-ergo_2.0.0-8_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmF5qkYACgkQdFxHZtTK
zf84tQ/9Fo8BfJXYVNITsbtMvD83GdGEt9wifZT8POLdaoG102598ZnQDLn4De/g
/StDUr8lHDGnsX08iHXRWIqFkHCswXPYVfbhGfhCqW98cWLrfjmm24P/nTUgPtLA
7Tw4YrTv/O5MWf9EpvTJpoBZPvsHmmVafrFDW/OL6K+80jBYxlnWAkIMUiVmpkBJ
7czSl3RpE2NHLKKAuf+kz3oN82BcymLyLcOii8F5WcKKQv3CbQeKPykDDu4CpGaS
gGbnYKv0d40Kp9iEGkN0bBOnmVIvtIbjJNeV7fJw6gD5OIeM+80+bevXnlrvGcld
qWQhJz3gTkUTUQR3rDPK6aFkzSLtE1yRJZNEHMNNOKWEjBgQHRKdZ5RahBFky9io
o2APRJYqRkGluFWNi8RId+X+ho9oLk6kZNyzKykdi9lWtWCDpHQIHRKNcHIer+14
WNue7WMt8hxc0wVdrfbvDTD2dwGhORE03HSJpEiRIonZ3IRMRGljwsJwc97GsSba
e/arzV2tdL5pCQX7v5g5sRCM68DfNuC/DaT16n92vbTgqKWSerDWhWtL+8Lwj4YI
ej0Z/C4OFaGyVvlYhe8Xsa3nRSt+l9a7Fkij63Qm+5pLUcwPwA26koRMk2dGMAmZ
3AYwAVXa8vAl0UyIUaoN1UDYIfkPfjSHpEXZcanrcgwTnSotrQg=
=avS3
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: