Back to cvc3 PTS page

Accepted cvc3 2.2-11 (source all amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 16 Mar 2010 17:21:15 -0400
Source: cvc3
Binary: cvc3 libcvc3-2 libcvc3-2-dev libcvc3-2-java libcvc3-2-jni cvc3-el
Architecture: source all amd64
Version: 2.2-11
Distribution: unstable
Urgency: low
Maintainer: Christopher L. Conway <cconway@cs.nyu.edu>
Changed-By: Christopher L. Conway <cconway@cs.nyu.edu>
Description: 
 cvc3       - An automatic theorem prover for SMT problems
 cvc3-el    - Emacs mode for CVC3
 libcvc3-2  - An automatic theorem prover library for SMT problems
 libcvc3-2-dev - An automatic theorem prover library for SMT problems (development
 libcvc3-2-java - Java bindings for CVC3 (bytecode library)
 libcvc3-2-jni - Java bindings for CVC3 (native library)
Changes: 
 cvc3 (2.2-11) unstable; urgency=low
 .
   * Patch: detect path to ldconfig for install
Checksums-Sha1: 
 ab43e195e78ce2e2a3869bcc5cdec72fb7d16b72 1120 cvc3_2.2-11.dsc
 4b8a0a6a9cf1ceedde219903d9241bcabb7f7583 62798 cvc3_2.2-11.diff.gz
 69e16fca1cdabcae5bc94c7dfc2c55b14a93c966 69698 libcvc3-2-java_2.2-11_all.deb
 aae4a580e047e01f3b324a830f8b2bb2254908f3 12902 cvc3-el_2.2-11_all.deb
 9ea62171b38cde38420f83db67158ca640b3d3dd 23680 cvc3_2.2-11_amd64.deb
 072d58cb9204e7ab28af2b774b21d0862c844e8d 2440862 libcvc3-2_2.2-11_amd64.deb
 47cae3b59239fc79491fe1f5855d588afa3e6427 189220 libcvc3-2-dev_2.2-11_amd64.deb
 6cfb1b28eaae12d7ee97c3476ec9f985ca38ee5b 76584 libcvc3-2-jni_2.2-11_amd64.deb
Checksums-Sha256: 
 909313921ffcbb3a6e0529a44092dba65c91a3d1978074153c1abc38fc470fae 1120 cvc3_2.2-11.dsc
 71237f2622aa3d9543508c0cfbf1a1c4b8f58a0062d76368b743f4bea9842b89 62798 cvc3_2.2-11.diff.gz
 6b6db3cb194ddb5245f5da0aaf32fc473d6b167c5581954d53b04160d0408f06 69698 libcvc3-2-java_2.2-11_all.deb
 bf1667513d5d22a1f4e08a4239a2c8a042523d772197d2a590627402bfa304a8 12902 cvc3-el_2.2-11_all.deb
 1b7383bde178e84e80f08eda13230e2e7a775cc0c25b64a5c13844e9d48dfb8b 23680 cvc3_2.2-11_amd64.deb
 1f7752c51eb37eec271fa1a9336ed0f18d3978df6ced3e3d62517d992d159b38 2440862 libcvc3-2_2.2-11_amd64.deb
 4580e3cfed80c3796e9658e5ad34db3f39b18fe8eb196ee3b4defeebee2c5514 189220 libcvc3-2-dev_2.2-11_amd64.deb
 489d315a206e9239872ffa3dda1a18fc67379a09a1744cb1a84b7b9738e7cf12 76584 libcvc3-2-jni_2.2-11_amd64.deb
Files: 
 1fbc003fcccef6525383fe340208a59b 1120 math extra cvc3_2.2-11.dsc
 297ea725f83bcf13dec0dae56c97f0d9 62798 math extra cvc3_2.2-11.diff.gz
 87339fea5ca00f72c7046b66082f12dd 69698 java extra libcvc3-2-java_2.2-11_all.deb
 da50338a827ca2f3a2d18d97aaec0f93 12902 math extra cvc3-el_2.2-11_all.deb
 00535c2254fbb00464b29505bdeafe20 23680 math extra cvc3_2.2-11_amd64.deb
 bbce255654b279254880cf949784f372 2440862 libs extra libcvc3-2_2.2-11_amd64.deb
 9838a50d8a083bbf17747074cc3b9b63 189220 libdevel extra libcvc3-2-dev_2.2-11_amd64.deb
 9e4ec39b529113955831cf671e4a9982 76584 java extra libcvc3-2-jni_2.2-11_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAkug+9gACgkQvx6dH3bVKsSQVQCghoFRm5xTZq/7HpNLPRh59Brp
UoQAniqzHPExeepEc6oY/q1d8sgv4573
=YrDU
-----END PGP SIGNATURE-----


Accepted:
cvc3-el_2.2-11_all.deb
  to main/c/cvc3/cvc3-el_2.2-11_all.deb
cvc3_2.2-11.diff.gz
  to main/c/cvc3/cvc3_2.2-11.diff.gz
cvc3_2.2-11.dsc
  to main/c/cvc3/cvc3_2.2-11.dsc
cvc3_2.2-11_amd64.deb
  to main/c/cvc3/cvc3_2.2-11_amd64.deb
libcvc3-2-dev_2.2-11_amd64.deb
  to main/c/cvc3/libcvc3-2-dev_2.2-11_amd64.deb
libcvc3-2-java_2.2-11_all.deb
  to main/c/cvc3/libcvc3-2-java_2.2-11_all.deb
libcvc3-2-jni_2.2-11_amd64.deb
  to main/c/cvc3/libcvc3-2-jni_2.2-11_amd64.deb
libcvc3-2_2.2-11_amd64.deb
  to main/c/cvc3/libcvc3-2_2.2-11_amd64.deb