Bug#909091: marked as done (ITP: ocaml-mccs -- Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings)
Your message dated Fri, 16 Aug 2019 22:00:13 +0000
with message-id <E1hykGb-0000r9-8Y@fasolo.debian.org>
and subject line Bug#909091: fixed in ocaml-mccs 1.1+10-1
has caused the Debian Bug report #909091,
regarding ITP: ocaml-mccs -- Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings
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.)
--
909091: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=909091
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: RFP: ocaml-mccs -- Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings
- From: Ralf Jung <post@ralfj.de>
- Date: Tue, 18 Sep 2018 13:40:42 +0200
- Message-id: <153727084252.12983.9260710409839773579.reportbug@r-thinktop>
Package: wnpp
Severity: wishlist
* Package name : ocaml-mccs
Version : 1.1+8
Upstream Author : Claude Michel
* URL : https://github.com/AltGr/ocaml-mccs
* License : BSD (3-clause), GPL
Programming Lang: C++, OCaml
Description : Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings
This is a a stripped-down version of the mccs solver, taken from snapshot 1.1,
with a binding as an OCaml library, and building with jbuilder.
This is needed for opam to work without an external solver.
--- End Message ---
--- Begin Message ---
Source: ocaml-mccs
Source-Version: 1.1+10-1
We believe that the bug you reported is fixed in the latest version of
ocaml-mccs, 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 909091@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Nicolas Braud-Santoni <nicoo@debian.org> (supplier of updated ocaml-mccs 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: Thu, 15 Aug 2019 20:50:34 +0200
Source: ocaml-mccs
Binary: libmccs-ocaml libmccs-ocaml-dbgsym libmccs-ocaml-dev
Architecture: source amd64
Version: 1.1+10-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Nicolas Braud-Santoni <nicoo@debian.org>
Description:
libmccs-ocaml - stripped-down MCCS CUDF solver for OCaml
libmccs-ocaml-dev - stripped-down MCCS CUDF solver for OCaml -- development files
Closes: 909091
Changes:
ocaml-mccs (1.1+10-1) unstable; urgency=medium
.
* First version in Debian (Closes: #909091)
Checksums-Sha1:
fa115c2adf7e06484568e79873abfe4b2a0e5773 2091 ocaml-mccs_1.1+10-1.dsc
1215423eead36b46e2d82c67cd7a14578a13553b 315996 ocaml-mccs_1.1+10.orig.tar.xz
4d9a8ff61c3b9bba0d61250bf306820755465fe0 3160 ocaml-mccs_1.1+10-1.debian.tar.xz
2d8a0527d536a65375c4aff69712655028475962 891628 libmccs-ocaml-dbgsym_1.1+10-1_amd64.deb
d218659b1fa1afb9e8bda2189c311ebc332da5f3 70104 libmccs-ocaml-dev_1.1+10-1_amd64.deb
c3eb21ba1d9f0519aebfba99cae838d0561934b7 70576 libmccs-ocaml_1.1+10-1_amd64.deb
1c03b3bafaba6ee1433d3ceaf17ce8b138eafba0 7304 ocaml-mccs_1.1+10-1_amd64.buildinfo
Checksums-Sha256:
bda5dcb13e4579d5d8c3e8ef2d43b3a14502543fb9591a8c21d70021fdd604f8 2091 ocaml-mccs_1.1+10-1.dsc
428f3e9cb8bac38767070538ae78ca87fe74d577375b74ba3e954bd733ee53ce 315996 ocaml-mccs_1.1+10.orig.tar.xz
6c2fe73ebb29b16b9c7259bbda0ff8c27e6a2c2af0443cb2bbb1599796f52299 3160 ocaml-mccs_1.1+10-1.debian.tar.xz
cfb6055575d26e33003ab5cf59c23ac0731fe0a7819fef1d1733806d14a35b82 891628 libmccs-ocaml-dbgsym_1.1+10-1_amd64.deb
f0e3ba36dfd0019adcd7dfd3a4833b8c9b8ab1173eabcaffebc3022ba2474bf9 70104 libmccs-ocaml-dev_1.1+10-1_amd64.deb
4161d9de3067cf08f7ee06ffbe3d51ef83ffadbcbca00fe4d250e3ccb873b4f6 70576 libmccs-ocaml_1.1+10-1_amd64.deb
8782f65efd049bd2d7d0885a760357bb03539b44bed03c6306ce4d90cf08a7f0 7304 ocaml-mccs_1.1+10-1_amd64.buildinfo
Files:
68a889adf3a4959e0f5f109f1dd626e1 2091 ocaml optional ocaml-mccs_1.1+10-1.dsc
d3cacc1bddea7f6426bb303d92232f20 315996 ocaml optional ocaml-mccs_1.1+10.orig.tar.xz
8ed19c4b1a944a246ab2895cd0f47eee 3160 ocaml optional ocaml-mccs_1.1+10-1.debian.tar.xz
c71780861ceb9b2891b0cfba30d0f1e3 891628 debug optional libmccs-ocaml-dbgsym_1.1+10-1_amd64.deb
448f0200ecaf2561e6d43bf2e709cbfe 70104 ocaml optional libmccs-ocaml-dev_1.1+10-1_amd64.deb
bda9902f17ba08640fa023458c6e6edb 70576 ocaml optional libmccs-ocaml_1.1+10-1_amd64.deb
d19f6adf7f0338bc69e6d6b4812ae8c7 7304 ocaml optional ocaml-mccs_1.1+10-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEU7EqA8ZVHYoLJhPE5vmO4pLV7MsFAl1VqkYACgkQ5vmO4pLV
7MtH+BAAltTvRRlKSiLD4PtYtps4NbSo59IgFiLnzKfiwBSJyxvNw+bX7Y2w4j53
iujNcxh3Z7ne0DhohDiMtsAudTuZDaNFxFrcC3cy4+K7DyPsCDtzY/KBTDY9xGVI
mXcDoLjcyTTxTABRcCeq6+SfvrEmSrNAZAVmaShliWJTGqlI0XE4ZHckE+JAozxl
8OEyo379HZYG1sd49smDnm1nOs0gaj5KL36E6nYsC0Vvzmcqc+us6UeYNQdDjZg2
I2sGIUBzleHkNFULnHLT8Wa8PRyFD9JrlHvfwDfOtFjS+afMJHl7EZBrEHa5dc71
Z46RmFW2AlOLYRNwRPhm35klZTvINVR7PRfd+jJnlURwPwPFfhvzL+k3ZlAocMON
GRMB80sskgvvw2OUbMPjolpnd2lJuIA3HE9jM4AqBYGBxAQcosZzRKAlUjdWf9Ez
0m+l6DIJ/DYLDcsyxbHGETpdJHIaM3lJYIIlzd3mYXxTQJMjjJemFo5TLJGcUeA/
EDwhPnrxYu/ZsR+hEOVq5QOBHE0AowSTO7c5zo3yu294umclgAu4znw72KgaxHPC
C5xRh9sMiNB5JWMbwTuqIscvLcivxZGfyE7ZxfWoUHE1wyhhuRdCy3jXnLNhj0jP
1HfG1Q45GGiWWFYn6X51bFhgwAkJ7EGMR01ilAfZ25rM5/rZWj8=
=2+cA
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: