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

Bug#971439: marked as done (Build procedure is incorrect and produces invalid files)

Your message dated Thu, 01 Oct 2020 20:23:30 +0000
with message-id <E1kO56w-0007mX-JI@fasolo.debian.org>
and subject line Bug#971439: fixed in lablgtk3 3.1.1+official-1
has caused the Debian Bug report #971439,
regarding Build procedure is incorrect and produces invalid files
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.)


-- 
971439: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=971439
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: lablgtk3
Version: 3.1.1-1

Dear OCaml maintainers,

as far as I could see this is a general bug on quite a few Debian OCaml
packages; in particular submitting for lablgtk3 but this bug should be
assigned to more packages.

It seems that the build procedure for lablgtk3 is incorrect, see for
example https://github.com/coq/coq/issues/13079 , where the package
contains and invalid META file; moreover as `-p` was not used the wrong
compiler settings were used to build the binaries [for example regarding
optimization]

OCaml packages that use dune as a build system _must_ be built:

- always with `dune build -p $pkg1,$pkg2` for the desired list of packages

and either:

- using the officially released .tbz archive that for example
  dune-release produces, which will contain the right metadata for
  version numbers, etc...

- or if using a git checkout, `dune subst` _must_ be run before the
  build so the metadata is update prior build.

Let us know if we can be of any help.

Kind regards,
Emilio

--- End Message ---
--- Begin Message --- 
Source: lablgtk3
Source-Version: 3.1.1+official-1
Done: Ralf Treinen <treinen@debian.org>

We believe that the bug you reported is fixed in the latest version of
lablgtk3, 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 971439@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 lablgtk3 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, 01 Oct 2020 21:47:51 +0200
Source: lablgtk3
Architecture: source
Version: 3.1.1+official-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 971439
Changes:
 lablgtk3 (3.1.1+official-1) unstable; urgency=medium
 .
   * Use an official upstream tarball, instead of a tag on the upstream git.
   * d/rules: give explicit list of packages to dune (closes: #971439)
   * Change debian/watch to download official tarballs, instead of tagged
     releases from git.
Checksums-Sha1:
 ac6347c563a1936392b48cb82a7c44ce72fac39c 2787 lablgtk3_3.1.1+official-1.dsc
 024056c718ad728068ef2b57bd347eb8f1a5d5f2 1002261 lablgtk3_3.1.1+official.orig.tar.gz
 e0e2ebc946334c24d98b462ebda80d8ba26e0036 5440 lablgtk3_3.1.1+official-1.debian.tar.xz
 886ce7b9e6fe9b90bc6f3a7f1a4ba1d40cf90485 14766 lablgtk3_3.1.1+official-1_source.buildinfo
Checksums-Sha256:
 cacc7f06cbbd13107d7b0547eb5214d71bde356d3361deaa4356841e44fd9ecf 2787 lablgtk3_3.1.1+official-1.dsc
 23e692c79b3d12a5bca5966008b6cc8201a0d6db55af8b72a412f4aea0f5527d 1002261 lablgtk3_3.1.1+official.orig.tar.gz
 783c59de6cf02933af5f2769f941dfca14a40eca4e695bdf7806737b1baa182c 5440 lablgtk3_3.1.1+official-1.debian.tar.xz
 fec6d32356d4f3d904b5a34d098fced2697e0ba10ba9d30a7bed1b72530f686c 14766 lablgtk3_3.1.1+official-1_source.buildinfo
Files:
 10fc34f619755f0df9d2aefa97741aa9 2787 ocaml optional lablgtk3_3.1.1+official-1.dsc
 82c82c40a47b60446e972cbe2cddcfc9 1002261 ocaml optional lablgtk3_3.1.1+official.orig.tar.gz
 2b3e7e1c67a8e55850ce1a370d1c5e2f 5440 ocaml optional lablgtk3_3.1.1+official-1.debian.tar.xz
 4e8d776831d5c3490022ba445af0fb77 14766 ocaml optional lablgtk3_3.1.1+official-1_source.buildinfo

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl92OIoACgkQdFxHZtTK
zf8Ugw/+Pl0Fs4hyniE/O3jkbmmLckh4j5SPKzmIP5iQao31V1W0ge5usoKULiv7
/p/ukOWy1H4dQWcVlmMxBPDT+Gul4ka2uO5jfNmQwnxU93RFOnQtoh4vy9r6giof
jP9yGL40T4CZJCdrTj1MtUrhQAq3CAOwaBPdCNup78v+UKsdzdASSt33vYmre3zp
LEERZppUrg+QKN9GZQX/5Zoxb9yF05Mfva/gQ07Q0c5Z9x9ZGxovxuhtR0KVmPxs
E4KMt4e+SVlK3LDBriFBpcUteT4vTofIzrkIUfTjHIPG/WcENbdjLi1SdBElywqD
tRefSg/9sjXs0HWiSFSd6enxFbyG6Alb9tCIlsUEsfmUMjSQk+KZwZE+FeVrxXIs
uZGK3qfprKun9gD6gNp+UOyTu18UsDTkz51YdGRrfY14IZUcXaA9+8EF1dzf6LIK
KCYuTpY+IwkO3nI2NTTLa7F00Q/kocczUQztrFXihzYojblq3nhQgwVkx2sVQ3ZS
ihBFetGiro9VRpfv+wb5SFmbbZj9WdC2a84uGUUUlFt4Zt6AV3gvTEP4cZ+4HMMd
H1no51wbSWNQFssYsWPl88RfI/WicLs9BdQhWB64ceo7pf8gjFtchFqgad1HkW6R
8EbJT7hKZCI5sQaF8gncHLH9jcITLID9qCl9TiPC7Pd4vfqqUco=
=Sp9i
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: