Your message dated Sat, 21 Apr 2018 15:34:37 +0000 with message-id <[email protected]> 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 [email protected] immediately.) -- 896084: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=896084 Debian Bug Tracking System Contact [email protected] 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 [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Ralf Treinen <[email protected]> (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 [email protected]) -----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 <[email protected]> Changed-By: Ralf Treinen <[email protected]> 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 ---
