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

Bug#837804: marked as done (libatdgen-ocaml-dev: /usr/bin/atdgen missing on alpha, hppa, mips, mips64el, mipsel, ppc64, ppc64el, s390x, sh4, sparc64 and x32)



Your message dated Fri, 16 Sep 2016 04:38:20 +0000
with message-id <E1bkkuq-0003gj-H2@franck.debian.org>
and subject line Bug#837804: fixed in atdgen 1.9.1-2
has caused the Debian Bug report #837804,
regarding libatdgen-ocaml-dev: /usr/bin/atdgen missing on alpha, hppa, mips, mips64el, mipsel, ppc64, ppc64el, s390x, sh4, sparc64 and x32
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.)


-- 
837804: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837804
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: libatdgen-ocaml-dev
Version: 1.9.1-1
Severity: important

Hi,

the package libatdgen-ocaml-dev does not ship /usr/bin/atdgen on several
architectures. This makes my source package botch FTBFS on these
architectures.

Please supply the binary on all architectures.

Thanks!

cheers, josch

--- End Message ---
--- Begin Message ---
Source: atdgen
Source-Version: 1.9.1-2

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

Debian distribution maintenance software
pp.
Johannes Schauer <josch@debian.org> (supplier of updated atdgen 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: Thu, 15 Sep 2016 22:52:42 +0200
Source: atdgen
Binary: libatdgen-ocaml-dev libatdgen-ocaml
Architecture: source
Version: 1.9.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Johannes Schauer <josch@debian.org>
Description:
 libatdgen-ocaml - OCaml code generator for biniou and JSON - plugins
 libatdgen-ocaml-dev - OCaml code generator for biniou and JSON - executable and dev fil
Closes: 837804
Changes:
 atdgen (1.9.1-2) unstable; urgency=medium
 .
   * Team upload.
   * Add symlink from /usr/bin/atdgen to atdgen.run on architectures without
     ocamlopt (closes: #837804)
Checksums-Sha1:
 ca35bf9443ed49fcaeef5080f0c45f79be2952c1 2245 atdgen_1.9.1-2.dsc
 7ab0ae11686c799a117cbbd14b74f8b9c0366e00 6120 atdgen_1.9.1-2.debian.tar.xz
Checksums-Sha256:
 69237cea9629627354fc778147fc3186d21136264f180215213f192d8a263d07 2245 atdgen_1.9.1-2.dsc
 857f385409955f0f365e1353861af514717f110e2481b80223b57301dcd53b73 6120 atdgen_1.9.1-2.debian.tar.xz
Files:
 58c3b95d92be2abf997a0f015667db56 2245 ocaml optional atdgen_1.9.1-2.dsc
 4d8d3be975ee985fa59d14d251069e42 6120 ocaml optional atdgen_1.9.1-2.debian.tar.xz

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

iQIuBAEBCAAYBQJX22wpERxqb3NjaEBkZWJpYW4ub3JnAAoJEPLLpcePvYPhmjMQ
AI5hVPnLQZ5Y1eISHJKqQA2hn/vF54h6eCZZ9w79s3iXD7V1IeNlA1Mygv7gxur0
Uh6onAj3dpAfZvFxy+I9ealbYJFC7DIZwKmsW6EA7JfDuJZUjWO3jC8cYvKAIH8i
c+nYEV8m3ykWx0XY4cwfkgbvun39bpRzYultUMdjK8RQ/Pi2EbzQwpnD3p4jZ7w7
NlgYA10dKXd4eenlXAT+i84KWa/4J05ZY0aUXMWUYiavKrgibjtBZpzDshB7ueJ2
494r2VIw06jXqonQsnqnadVI0uc5mW7SGs1Pk/z23wKJgN4lspLRmE7siZG62oIi
jIyeSOJ4CF6p/BJAiCur/ONeazGtuYkO8g3OC9lTxHIXdfMZhNcaSogLillLgftE
kMahfxXbggx0mSMIUvJwCfwaIr6y1y/Zks1KgSlafCcfAW6l2sPgWIlE9g9sXNuO
l/G4+2aneFWsCbAcfeN7II2Rw2pBy57huskrDAamMuRUJR63OZi5K5PC6mch/fZ2
aR7PLcml5KyQ9MkGWTpHxBx92+jHG8aCMoIOW45cVy0zK1CHrg9OWs1P82LU20vd
hF8xYPQE8a7R5YFGG+nPGwzVRaqo7oSTN61NYi71gEfwHxKDLmljgkgkF+XvxpC9
ODXZoHQZubkpsKp5/YaCz/LjitazinDveopCpdcfFAy1
=/GGX
-----END PGP SIGNATURE-----

--- End Message ---

Reply to: