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

Bug#845587: marked as done (ITP: ocplib-simplex -- simplex library for solving linear inequalities)

Your message dated Thu, 08 Dec 2016 11:00:13 +0000
with message-id <E1cEwQv-0003ML-48@fasolo.debian.org>
and subject line Bug#845587: fixed in ocplib-simplex 0.3-1
has caused the Debian Bug report #845587,
regarding ITP: ocplib-simplex -- simplex library for solving linear inequalities
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.)


-- 
845587: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=845587
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen <treinen@debian.org>

* Package name    : ocplib-simplex
  Version         : 0.3
  Upstream Author : Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>
* URL             : https://github.com/OCamlPro-Iguernlala/ocplib-simplex
* License         : LGPL 2.1
  Programming Lang: OCaml
  Description     : simplex library for solving linear inequalities

ocplib-simplex is a (fully) functional OCaml implementation of the
simplex algorithm for solving systems of linear inequalities. The
implementation is incremental and backtrackable. It is able to extract
unsat-cores for unsatisfiable problems, and it supports linear optimization

This is a build-dependency of alt-ergo >= 1.30.

The package will be maintained by the debian-ocaml-maint team.

-Ralf.

--- End Message ---
--- Begin Message --- 
Source: ocplib-simplex
Source-Version: 0.3-1

We believe that the bug you reported is fixed in the latest version of
ocplib-simplex, 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 845587@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 ocplib-simplex 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: Tue, 29 Nov 2016 20:59:56 +0100
Source: ocplib-simplex
Binary: ocplib-simplex-ocaml-dev
Architecture: source amd64
Version: 0.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
 ocplib-simplex-ocaml-dev - simplex library for solving linear inequalities
Closes: 845587
Changes:
 ocplib-simplex (0.3-1) unstable; urgency=medium
 .
   * initial upload (closes: #845587)
Checksums-Sha1:
 27c4e154b33805ebd68a4284da3ff5f9bfd76628 2145 ocplib-simplex_0.3-1.dsc
 3a9e95ec1dc2a9048fba6d3154b3471cd6598d97 31013 ocplib-simplex_0.3.orig.tar.gz
 d8ea3aa53d4ff7614ec3f4491fb5dc4a331eaa4f 2272 ocplib-simplex_0.3-1.debian.tar.xz
 34a2f73c28ecdbcef6348ddfb9f8edf08da0e4a3 11570 ocplib-simplex-ocaml-dev-dbgsym_0.3-1_amd64.deb
 a8618fd67b28de937bfe9eef5e389129f1c6eab3 198970 ocplib-simplex-ocaml-dev_0.3-1_amd64.deb
 9d48d6ecadecdd5fc070d84ea1ebce9a3535265f 5309 ocplib-simplex_0.3-1_amd64.buildinfo
Checksums-Sha256:
 defdcbded227ab867abddeb6c7d39bea92624c4903ef4e0273edb07625932618 2145 ocplib-simplex_0.3-1.dsc
 59bf450593e2407d52029140803e0e1343d6e30d1564f65cb2b7ec9582681171 31013 ocplib-simplex_0.3.orig.tar.gz
 79f7104eb2a738686c1ebd18f56f21c6f0e8edc3d3f7cdb2f88f67ece158d8c2 2272 ocplib-simplex_0.3-1.debian.tar.xz
 da1853f26cf43e2a1e28e8f93d7507bd75101c451c35f7da0fedadd85b1229d0 11570 ocplib-simplex-ocaml-dev-dbgsym_0.3-1_amd64.deb
 528652dc767ef998708e8243a8c5eb4ed14ca0d9958f4ae6c615f6914ccdf2ee 198970 ocplib-simplex-ocaml-dev_0.3-1_amd64.deb
 9502be682bf49a4556edbc3fc7e1c2e7e933e4904d6f89f57030de286014efee 5309 ocplib-simplex_0.3-1_amd64.buildinfo
Files:
 d96cce74c897182c0f25e450832c7927 2145 ocaml extra ocplib-simplex_0.3-1.dsc
 ef6d61360bc1ed6c6f273dd723c71016 31013 ocaml extra ocplib-simplex_0.3.orig.tar.gz
 4b32e5052ca5f08019b7429b5c5ae500 2272 ocaml extra ocplib-simplex_0.3-1.debian.tar.xz
 eddc806986574e3010a490553ce9479e 11570 debug extra ocplib-simplex-ocaml-dev-dbgsym_0.3-1_amd64.deb
 5edc9ea61d18327c136147d4a1b950f5 198970 ocaml extra ocplib-simplex-ocaml-dev_0.3-1_amd64.deb
 2bb236e41464674c5a327caca1069969 5309 ocaml extra ocplib-simplex_0.3-1_amd64.buildinfo

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlg94Q4ACgkQdFxHZtTK
zf/FIQ/7BMYOmSud04w8ar1t51/9NZpHYG94QkpqXRgfEDUC3EQJG5Ttm9KNldt9
uVJaLJVu+kVSSNzySpUsE9Yrfb0h6LFm2Ax5HBCiO1fo1hnXcuDIT1HSxdOy1qNh
AX9XrxUnUm5D1BWTuH7ScvL2lQR8LulOPLRHIReNA0juxQ+7w7+dG7/p6zhFB1BV
JKjuOqwQfaPeEYl9ZS/YMUpSjZ5q015j3FZvNzXT+UK9LWiWt4lI5/Har1GrDSeL
mTD6wIxcUMS52/eQlvXog10yJOkpXWIpYL/yJMiallATMPjcE1CuwT2mtdRF7yHa
nv7roz5BT6O5+VHsqQuZHDTFLWKlrE43jM02I3ssaw2HQWbsoO/+/5QLyUZgCGHG
3W1kTwe6jeQM9QwWeGbo1rvEj2FFSkqTjwdThb689sLd24oA7mnQ2HTx7wy4cd+t
9QgA9SDfLIBWHwiEJHug8YEqvZihOkPFnp4ifPOTH+9ZOoF9EEuiJd62Q+ds4I8x
Z7TSWDCYk9Hnr0PC3UuAL6a/uAEOy7rpFoHg6xLpd7328CcIAIngcQTIqwedd1r4
yhlxgzStPpUqRWn7MbLZygd78JtJsCO7ROzbRAAklyPpqwqzd2SC3Zk2ujmSjqBb
2lkBaeOF9sArBEKOHW0Mz5NnBjp74LDktosymJq4DJtzO3WUOfk=
=Xgct
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: