Re: Unison rebuild

Le 25/05/2018 à 18:26, Leopold Palomo-Avellaneda a écrit : > I'm saying that if you could generate the new binaries and you can send me, or > provide me in any way it's sufficient for me by now. During the time that > someone made a NMU. ANd I would thankful it. This is what I did (on a Debian

why3_0.88.3-3_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 27 May 2018 13:37:54 +0200 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: source Version: 0.88.3-3 Distribution: unstable Urgency: medium Maintainer:

Processing of why3_0.88.3-3_source.changes

why3_0.88.3-3_source.changes uploaded successfully to localhost along with the files: why3_0.88.3-3.dsc why3_0.88.3-3.debian.tar.xz why3_0.88.3-3_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)

Bug#895104: marked as done (why3: skip cvc4 autopkgtest on architectures without cvc4)

Your message dated Sun, 27 May 2018 12:19:42 + with message-id and subject line Bug#895104: fixed in why3 0.88.3-3 has caused the Debian Bug report #895104, regarding why3: skip cvc4 autopkgtest on architectures without cvc4 to be marked as done. This

Processed: tagging 895104

Processing commands for cont...@bugs.debian.org: > tags 895104 - wontfix Bug #895104 [why3] why3: skip cvc4 autopkgtest on architectures without cvc4 Removed tag(s) wontfix. > thanks Stopping processing here. Please contact me if you need assistance. -- 895104: