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

Bug#896084: marked as done (dose-builddebcheck: Finds invalid solution with versioned provides)



Your message dated Sat, 21 Apr 2018 15:34:37 +0000
with message-id <E1f9uX7-0002pQ-J5@fasolo.debian.org>
and subject line Bug#896084: fixed in dose3 5.0.1-10
has caused the Debian Bug report #896084,
regarding dose-builddebcheck: Finds invalid solution with versioned provides
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.)


-- 
896084: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=896084
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: dose-builddebcheck
Version: 5.0.1-9
Tags: upstream

[It's quite likely this should be against libdose3-ocaml(-dev) as I
imagine this is a bug in the common library code also used by
dose-distcheck]

Hi,
Whilst running a new kfreebsd-{amd64,i386} buildd, I noticed that
dose-builddebcheck doesn't quite handle versioned provides correctly[1],
when combined with versioned dependencies. This
stems from the use of MAX_INT32-1 for an unversioned provides, which is
of course greater than any version number used in the dependency.

Below is a tiny example illustrating the problem.

Regards,
James

[1] An example is libsigrok, which build depends on libusb-1.0-0-dev (>=
    1.0.16), which doesn't exist on kFreeBSD; instead libusb2 provides
    libusb-1.0-0-dev (= 1.0.6). Because dose-builddebcheck thinks this
    is satisfiable, wanna-build keeps scheduling builds, but apt keeps
    failing to find a solution (since there isn't one).

> jrtc27@deb4g:~/tmp/dose-versioned-provides$ cat Packages
> Package: build-essential
> Version: 1
> Architecture: amd64
>
> Package: binary-package
> Version: 1
> Architecture: amd64
> Provides: provided (= 2)
> jrtc27@deb4g:~/tmp/dose-versioned-provides$ cat Sources
> Package: source-package
> Architecture: any
> Version: 1
> Build-Depends: provided (>= 3)
> jrtc27@deb4g:~/tmp/dose-versioned-provides$ dose-builddebcheck --deb-native-arch=amd64 -es --dump=cudf Packages Sources
> output-version: 1.2
> native-architecture: amd64
> report:
>  -
>   package: source-package
>   version: 1
>   architecture: any
>   type: src
>   status: ok
>   installationset:
>    -
>     package: source-package
>     version: 1
>     architecture: any
>     type: src
>    -
>     package: binary-package
>     version: 1
>     architecture: amd64
>    -
>     package: build-essential
>     version: 1
>     architecture: amd64
>
> binary-packages: 3
> source-packages: 1
> broken-packages: 0
> jrtc27@deb4g:~/tmp/dose-versioned-provides$ cat cudf
> preamble:
> property: native: int = [0], multiarch: string = [""], installedsize: int = [0], filename: string = [""], essential: bool = [false], sourceversion: int = [1], sourcenumber: string = [""], source: string = [""], priority: string = [""], recommends: vpkgformula = [true!], replaces: vpkglist = [], architecture: string, type: string, number: string, name: string
>
> package: binary-package%3aamd64
> version: 5
> conflicts: binary-package%3aamd64 , binary-package
> provides: binary-package , --virtual-provided%3aamd64 = 3 , --virtual-provided%3aamd64 = 2147483646
> name: binary-package
> architecture: amd64
> number: 1
> source: binary-package
> sourcenumber: 1
> sourceversion: 5
> native: 1
> type: bin
> filename: Packages
>
> package: src%3asource-package
> version: 2
> depends: build-essential%3aamd64 , --virtual-provided%3aamd64 >= 4
> conflicts: src%3asource-package%3aamd64 , src%3asource-package
> provides: src%3asource-package
> name: source-package
> architecture: any
> number: 1
> source: source-package
> sourcenumber: 1
> sourceversion: 2
> type: src
>
> package: build-essential%3aamd64
> version: 2
> conflicts: build-essential%3aamd64 , build-essential
> provides: build-essential
> name: build-essential
> architecture: amd64
> number: 1
> source: build-essential
> sourcenumber: 1
> sourceversion: 2
> native: 1
> type: bin
> filename: Packages

--- End Message ---
--- Begin Message ---
Source: dose3
Source-Version: 5.0.1-10

We believe that the bug you reported is fixed in the latest version of
dose3, 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 896084@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 dose3 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: Sat, 21 Apr 2018 17:05:24 +0200
Source: dose3
Binary: libdose3-ocaml-dev libdose3-ocaml dose-distcheck dose-builddebcheck dose-extra apt-cudf dose-doc
Architecture: source
Version: 5.0.1-10
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
 apt-cudf   - CUDF solver integration for APT
 dose-builddebcheck - Checks whether build-dependencies can be satisfied
 dose-distcheck - Checks whether dependencies of packages can be satisfied
 dose-doc   - Documentation for dose tools and libraries.
 dose-extra - Extra QA tools from the Dose3-library
 libdose3-ocaml - OCaml libraries for package dependencies (runtime files)
 libdose3-ocaml-dev - OCaml libraries for package dependencies (development files)
Closes: 869846 896084
Changes:
 dose3 (5.0.1-10) unstable; urgency=medium
 .
   * Added a test case for dose-builddebcheck with versioned provides and
     a versioned build-dependency, taken from James Clarkes bug report
     #896084.
   * Patch 0009-Fix-and-constraints-against-virtual-packages.patch: fix
     cudf encoding of versioned and unversioned virtual packages. Thanks a
     lot to James Clarke for the patch! (closes: #896084)
   * Patch typo-plural: fix some occurrences of "does not exists"
     (closes:  #869846).
   * Refreshed patch deb-drop-b-d-arch
   * Standards-Version 4.1.4:
     - Changed Priority from extra to optional
     - d/copyright: https in format url
Checksums-Sha1:
 aa085df25e2a4fd3c653a06354a5daed319167dd 2719 dose3_5.0.1-10.dsc
 f7a0fa8995b8a2282b927be23deb0f763409cac6 33836 dose3_5.0.1-10.debian.tar.xz
 572e21c68f274ba9e0004272cadc8c58ce12c84c 7067 dose3_5.0.1-10_source.buildinfo
Checksums-Sha256:
 dc8f013c6f798dc12b8da6e5435a973550ce3cdf2bb0fe92eab33f6a46e2d0ec 2719 dose3_5.0.1-10.dsc
 c0a5e882261bcedb6623ed332847b0e35533dacf1be4e833d1fdc593fe7ca186 33836 dose3_5.0.1-10.debian.tar.xz
 e691516fc9e35b6d1af6b0f1bb07266927a3e385c72e0a2f9dd63e7f3d88ddd7 7067 dose3_5.0.1-10_source.buildinfo
Files:
 f45ac5cb66bb90b04c3fc3bf9b109b58 2719 ocaml optional dose3_5.0.1-10.dsc
 cccbf002672e2d48adeccb5e4e68d8cd 33836 ocaml optional dose3_5.0.1-10.debian.tar.xz
 8dc29201e68e76cfce7e3a881510fb88 7067 ocaml optional dose3_5.0.1-10_source.buildinfo

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlrbVhcACgkQdFxHZtTK
zf+oZA//eFtSgMBv8MjM52nJbFRo6Wm+uCW/eeW9i4QPt4eiyO8pwJGE/E4BF9Fh
DLMUIsh6A+6SPUL902+dIwHI90VQ313uTWeKdZILIsXx7ta+ruNc3pEscMGY1sfJ
6b4kyksDIHkhC0ludw2ZbMgIqBeMUEF6/Px+IkxNMofUo9DVYnmJxISRqXHR8Cq5
K+OWz0EPjiDtwpZJZLJU+T+Dq+/HEUWCKVpTkma5+US8hVjnfImjeD3dUPWKf+Tn
u3i6DhUa5z0BJSPptv8O+tR8vEzMhezT83H5bCDyOyGxXxB6nrbkG/eofAX6/T+R
Zdodf4ZzDxQ8aOy88wtpwKLkedzG3s92zj2j+I9PTqIWhp0iGt1KcwlE0l97o4Ab
STcZ+DTggNwe39RIjdh+VXtEk6U1pqu1CKvXcP2zFvHCulyizv5nL+MgCJgro7WT
N+vyvo69iEZtsMakBiRPmzR/PXzPdRHHrdy+v2uh+0/BsOqAJKHscPfgthu+tXWq
42KSZwDP9pldya+nG97fe8pj32bV1RXrSKBdtU+L/RmGDoKq5iE0ExuSQ/LDv+Ol
1ebZobayerf3aU4GRgX8wtgF26/B8Z/Q2l0R66cW8QCL72YfRUFHX+bdOKROI8cq
xH4Mf5gbVwvEZ/agFV/jtz/vSaT7MQc6ZBbrpuMfHDLQSp+8S9I=
=xybS
-----END PGP SIGNATURE-----

--- End Message ---

Reply to: