Your message dated Fri, 19 Jul 2024 18:00:11 +0000
with message-id <e1surtr-002dew...@fasolo.debian.org>
and subject line Bug#1076364: fixed in 0install-solver 2.18-1
has caused the Debian Bug report #1076364,
regarding ITP: 0install-solver -- package dependency solver
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 ow...@bugs.debian.org
immediately.)
--
1076364: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1076364
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu <glo...@debian.org>
X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org
* Package name : 0install-solver
Version : 2.18
Upstream Contact: Thomas Leonard
* URL : https://github.com/0install/0install
* License : LGPL-2.1
Programming Lang: OCaml
Description : package dependency solver
A package dependency resolver based on a SAT solver. This was
originally written for the 0install package manager, but is now
generic and is also used as a solver backend for opam. The SAT solver
is based on MiniSat (http://minisat.se/Papers.html) and the
application to package management is based on OPIUM (Optimal Package
Install/Uninstall Manager). 0install-solver uses a (novel?) strategy
to find the optimal solution extremely quickly (even for a SAT-based
solver).
This package is a new transitive dependency of opam. It will be
maintained in the OCaml Team.
--- End Message ---
--- Begin Message ---
Source: 0install-solver
Source-Version: 2.18-1
Done: Stéphane Glondu <glo...@debian.org>
We believe that the bug you reported is fixed in the latest version of
0install-solver, 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 1076...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glo...@debian.org> (supplier of updated 0install-solver
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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 15 Jul 2024 09:15:08 +0200
Source: 0install-solver
Binary: lib0install-solver-ocaml lib0install-solver-ocaml-dbgsym
lib0install-solver-ocaml-dev
Architecture: source amd64
Version: 2.18-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Stéphane Glondu <glo...@debian.org>
Description:
lib0install-solver-ocaml - package dependency solver (runtime)
lib0install-solver-ocaml-dev - package dependency solver (dev)
Closes: 1076364
Changes:
0install-solver (2.18-1) unstable; urgency=medium
.
* Initial release (Closes: #1076364)
Checksums-Sha1:
032620e3a0ec9dc2ef006704a7ffdf53f734b5f1 1843 0install-solver_2.18-1.dsc
cc3770618f103e809304546ed442966ea6f20f82 452385
0install-solver_2.18.orig.tar.bz2
d902e2ce0432a95c2be360185cf2b3205d22fe94 1744
0install-solver_2.18-1.debian.tar.xz
7a2962413ab83df81daeeac2f9a0f07a7bb9c5ad 6527
0install-solver_2.18-1_amd64.buildinfo
943d3ff47e1bcb493e2e81dea17c9f08fbbbeff7 19172
lib0install-solver-ocaml-dbgsym_2.18-1_amd64.deb
7b59b04343570fa7848db4f3e1516b666217f4e1 371548
lib0install-solver-ocaml-dev_2.18-1_amd64.deb
b477052ac0c5dbb131ab297e6396ccbe304a9cee 186384
lib0install-solver-ocaml_2.18-1_amd64.deb
Checksums-Sha256:
b6592bf1b73d324cdbca7e309443f84459fc19e4d8a875b6c359e23a7a6be75a 1843
0install-solver_2.18-1.dsc
648c4b318c1a26dfcb44065c226ab8ca723795924ad80a3bf39ae1ce0e9920c3 452385
0install-solver_2.18.orig.tar.bz2
fa9f2ab083d18eaa80a9371d2d973270e9825f853411ce1e964aacad13ee5a5b 1744
0install-solver_2.18-1.debian.tar.xz
9437abe1a5a671320d51dc2fffb2b3038e3e72744e4e821b64add9793216f21a 6527
0install-solver_2.18-1_amd64.buildinfo
65248c9091d844b6bf1a16ae810e2bb7ef2b2fa07ea1b1ad6262e06dd544dae3 19172
lib0install-solver-ocaml-dbgsym_2.18-1_amd64.deb
5343272a50abff09103497722952cc80634ddbf824977dea104cdef2a00f5f00 371548
lib0install-solver-ocaml-dev_2.18-1_amd64.deb
9ec048e5ebee558da9bca31bdbedacda6443b3fa17bf9821774e24a0bd84e483 186384
lib0install-solver-ocaml_2.18-1_amd64.deb
Files:
add6dbb66fb108533e8652d485d5c557 1843 ocaml optional 0install-solver_2.18-1.dsc
030edc9b1d3676c06d51397ffb5a737d 452385 ocaml optional
0install-solver_2.18.orig.tar.bz2
0d82a2013e8382bb52f7052cb8bef973 1744 ocaml optional
0install-solver_2.18-1.debian.tar.xz
1ac2c274318732be88aca8a04058865c 6527 ocaml optional
0install-solver_2.18-1_amd64.buildinfo
1fb66726214a74d5e3958e907184947c 19172 debug optional
lib0install-solver-ocaml-dbgsym_2.18-1_amd64.deb
d0b797625eb547ca72074ecae2791458 371548 ocaml optional
lib0install-solver-ocaml-dev_2.18-1_amd64.deb
53364a4356376f10c251d4ea332e9514 186384 ocaml optional
lib0install-solver-ocaml_2.18-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmaUzLoSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBrcUH+gLsqh+y5hhGA2xNN7ICxfhPZPM3MFiR
K2Uc6cTbhgWw49DHv13loCw+s/0F4/BO3CvrUMubEn7fZqZ1ojN9HYXR4rLhx6UZ
tBrm1y+T4TaX7pke+0kGEh1X9POWC82JQBX3Gr5c/xuR2JGypgTpLa0yYpbtDEF6
RR8ip210haSZWwUwIglyqOxPcsxDTdF0bRDW8pS88gpyMHh4uR1Sbbrm36DHoddu
qG1bc8FhfNMtX587h/32i+nsL3kbWAiWdBxTtNhBDD+Kw0JfPFLOaKxD3IeW92Ku
aWkUlK33EWIzYV/2JugAjaZo+RYLZerrUoUGYKq85xIOQrXuuh4ASQY=
=lesD
-----END PGP SIGNATURE-----
pgpAVGN6EY8SE.pgp
Description: PGP signature
--- End Message ---
