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

Bug#1076364: marked as done (ITP: 0install-solver -- package dependency solver)

Your message dated Fri, 19 Jul 2024 18:00:11 +0000
with message-id <E1sUrtr-002DeW-Bz@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 owner@bugs.debian.org
immediately.)


-- 
1076364: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1076364
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu <glondu@debian.org>
X-Debbugs-Cc: debian-devel@lists.debian.org, debian-ocaml-maint@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 <glondu@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 1076364@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@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 ftpmaster@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-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@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-----

Attachment: pgpzZgwCD4NoP.pgp
Description: PGP signature


--- End Message ---
Reply to: