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

Bug#757048: marked as done (ITP: cvc4 -- An automatic theorem prover for SMT problems)



Your message dated Sun, 29 Oct 2017 19:00:14 +0000
with message-id <E1e8sog-000AUo-5T@fasolo.debian.org>
and subject line Bug#757048: fixed in cvc4 1.5-1
has caused the Debian Bug report #757048,
regarding ITP: cvc4 -- An automatic theorem prover for SMT problems
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.)


-- 
757048: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=757048
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Morgan Deters <mdeters@cs.nyu.edu>

* Package name    : cvc4
  Version         : 1.4
  Upstream Author : Morgan Deters <mdeters@cs.nyu.edu>
* URL             : http://cvc4.cs.nyu.edu/
* License         : BSD
  Programming Lang: C++
  Description     : An automatic theorem prover for SMT problems

CVC4 is a tool for determining the satisfiability of a first order formula
modulo a first order theory (or a combination of such theories). It is the
fourth in the Cooperating Validity Checker family of tools (CVC, CVC Lite,
CVC3) but does not directly incorporate code from any previous version.
CVC4 is intended to be an open and extensible SMT engine. It can be used
as a stand-alone tool or as a library. It has been designed to increase
the performance and reduce the memory overhead of its predecessors.

CVC4 is increasingly depended upon by other tools; for these tools to
be packaged for Debian, a CVC4 package should be available first.  CVC4's
predecessor CVC3 was packaged for Debian some time ago, and while these
two projects are from the same upstream group and conceptually have
similar features, they are quite different in use and scope.

I have a package already built, but will need a sponsor to complete the
task.

--- End Message ---
--- Begin Message ---
Source: cvc4
Source-Version: 1.5-1

We believe that the bug you reported is fixed in the latest version of
cvc4, 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 757048@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Fabian Wolff <fabi.wolff@arcor.de> (supplier of updated cvc4 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: Sat, 29 Jul 2017 00:31:25 +0200
Source: cvc4
Binary: cvc4 libcvc4-dev libcvc4-4 libcvc4parser4
Architecture: source amd64
Version: 1.5-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Fabian Wolff <fabi.wolff@arcor.de>
Description:
 cvc4       - automated theorem prover for SMT problems
 libcvc4-4  - automated theorem prover for SMT problems (runtime)
 libcvc4-dev - automated theorem prover for SMT problems (development files)
 libcvc4parser4 - automated theorem prover for SMT problems (parser runtime)
Closes: 757048
Changes:
 cvc4 (1.5-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #757048)
Checksums-Sha1:
 1d4c88f76a567b8373f721e809eef63b20b6662e 2221 cvc4_1.5-1.dsc
 781dfa9c62bff6f75919ea83e5c2fd1cb8c7f6f1 7926116 cvc4_1.5.orig.tar.gz
 9f9a95cdcdfe06a673694a72dfe3665c3ed15e03 6012 cvc4_1.5-1.debian.tar.xz
 8db5ad468206973c69688bc93eafa72376bc24f3 3006562 cvc4-dbgsym_1.5-1_amd64.deb
 8732251b564a157684094d2776b4f02abc6e4e1b 8541 cvc4_1.5-1_amd64.buildinfo
 57a32604fdf765ef5b95b126c0689d8fc9d6f5ab 136172 cvc4_1.5-1_amd64.deb
 6cf54d3844b6f40a912d63f584c71acf5b5b1f1b 97653054 libcvc4-4-dbgsym_1.5-1_amd64.deb
 014441cdb577395ba113841383808253beb0272a 3519852 libcvc4-4_1.5-1_amd64.deb
 6048f415b34218029a62de7747041c010ac1add7 6154646 libcvc4-dev_1.5-1_amd64.deb
 b5e36bdfb297343f82de1be25a54b6729aa72486 4432632 libcvc4parser4-dbgsym_1.5-1_amd64.deb
 9f9133bb1f0a9113b693d7c2866c0fc353199566 364242 libcvc4parser4_1.5-1_amd64.deb
Checksums-Sha256:
 f3a079415b87a17fce4b8aa2e56d327734b8ceeba5c4aeabc98986e97c3d9133 2221 cvc4_1.5-1.dsc
 57a38c4baa35fe62c336c16e2efaf3e15411501c225167ee44d4857a735581b8 7926116 cvc4_1.5.orig.tar.gz
 1d9fadc893d9849b1cf7eb683d6d47a8d026529efc14f6c38074189da0a68f93 6012 cvc4_1.5-1.debian.tar.xz
 b3a5cd8c5ecdedb779eefa902a0c3dd16c2e498f4fb20cd7ff7760eddff551ca 3006562 cvc4-dbgsym_1.5-1_amd64.deb
 6d11bb5c49d2d0fd93bc0573a0f5c9131320a804cb2a5c0a2eec75b28337bb9a 8541 cvc4_1.5-1_amd64.buildinfo
 dd2d9c96987486adb048bc66e6925b17d72a47aac691895b4e8b46d7d87a7e2c 136172 cvc4_1.5-1_amd64.deb
 b9a0d6b865469248f27a8524c9a93db2165a23e3b719ea6e0f63016ee6ddfb0f 97653054 libcvc4-4-dbgsym_1.5-1_amd64.deb
 8ebddec0ce6c08b3a857a89d5b58852d5b506d64e7e18b08432da142f02167b5 3519852 libcvc4-4_1.5-1_amd64.deb
 d692fc984d72953ae1b6fc541426652f4377adeed9b00f9ce2f9405cc7055ad5 6154646 libcvc4-dev_1.5-1_amd64.deb
 15584bf7eaf42e5d7526afe7df7449a601ee862bfdbbfe5b45772f844b1adf68 4432632 libcvc4parser4-dbgsym_1.5-1_amd64.deb
 6bcd7f152088ab23f7215258730970c4b8ef78be47b3a88b18ef14d78584909a 364242 libcvc4parser4_1.5-1_amd64.deb
Files:
 a10e8cc33e843842152943f4bd1ba9bd 2221 math optional cvc4_1.5-1.dsc
 f6e329763124bb7aaa3b4e86df1b3ade 7926116 math optional cvc4_1.5.orig.tar.gz
 232e2b10011e08728d29ed4f5a97df2e 6012 math optional cvc4_1.5-1.debian.tar.xz
 dc6dfbc6ade5d5bdf4b26a739d2cb3ea 3006562 debug extra cvc4-dbgsym_1.5-1_amd64.deb
 d02c5f8a9e14001d4e78d2d173cf05b9 8541 math optional cvc4_1.5-1_amd64.buildinfo
 25244770325e2d70ada38757cca8d281 136172 math optional cvc4_1.5-1_amd64.deb
 1e3d7f55cdf3f7f869c10d3c8f43af26 97653054 debug extra libcvc4-4-dbgsym_1.5-1_amd64.deb
 99412f629064ff5159a4a2e4502c0ae7 3519852 libs optional libcvc4-4_1.5-1_amd64.deb
 390d67e9bdf34f360cad4286d61a467f 6154646 libdevel optional libcvc4-dev_1.5-1_amd64.deb
 1c1802252ec4fca72d31871d40b11222 4432632 debug extra libcvc4parser4-dbgsym_1.5-1_amd64.deb
 261f0b5d9e59d8db3265c57adf2723cb 364242 libs optional libcvc4parser4_1.5-1_amd64.deb

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAll/eIMACgkQdFxHZtTK
zf/gUA//QIXxEPfUvuj7eCSefOwV804ooIiT00G24GC+Iq6sAtrgAyy5KtifaDhV
M8O7HXoe1eMdp4rd4k2Fikj4/BublCvK39Ux3z63sIWSWiY6B5ELLak1rzNVIKa6
TN8i6zrs7Bv7UhUYU8ikAv8EhQaV2H9YqJ3Uukgka0STM2cd81M17HzVtLDn05HZ
vJP/NU7HHZMGJuVIAD/LvZPrxyAlrir3HyciqVxfgcGSjxGkvdP2S6cQrfDFauFC
Z536Z+WPOA7djWGS0rlwh+VNww0yxgjXBy5V1fIm3JUmuyc4W6u0oPZVjOz2vrgH
zWJGPz4YYtI2l/jOXSM/YnuLbFn200wQ0lEKBHd2HzzxuzCx3G2lom8KM+bvTRpx
tWPJT7rn9lJSJN7U8MQcMXZAaYpOsmgItOdSwt3LjIbMHsrEcygWtUKWRFpYYlQp
G1RKdm8nVmCv6qyv0uaSO6PbHWDnXtzGWXs2T+81+K5+zlKsBIawt5fQcUgWedv9
s5Z/Qa7llkmn80W3iosbd+QCfcaa3aB9wcSrdpYlTA0/9CzwhQ0e9tjAkMts8yGX
OnptNsfwaCRyYQZwPGqPgLKhUxBeFMma+A8WcfL89kOfrwbd3kjFBfM9eC7DcLmO
abYSA5lWKyhz7SpJ8TGF5LZJVr/19uxOQSZQHx+9vCYV3gV/SOk=
=5XXt
-----END PGP SIGNATURE-----

--- End Message ---

Reply to: