Back to cvc3 PTS page

Accepted cvc3 2.2-13.1 (source all amd64)



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

Format: 1.8
Date: Wed, 16 Mar 2011 21:43:31 -0500
Source: cvc3
Binary: cvc3 libcvc3-2 libcvc3-2-dev libcvc3-2-java libcvc3-2-jni cvc3-el
Architecture: source all amd64
Version: 2.2-13.1
Distribution: unstable
Urgency: low
Maintainer: Christopher L. Conway <cconway@cs.nyu.edu>
Changed-By: Steve M. Robbins <smr@debian.org>
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-13.1) unstable; urgency=low
 .
   * NMU.  Change dependencies libgmp3-dev --> libgmp-dev.
Checksums-Sha1: 
 0b8ed1ff75c55552d82196f44a2a3408df41f4e3 1119 cvc3_2.2-13.1.dsc
 71c8268b06c41e41a425a68fbb9d1829ad78f653 66174 cvc3_2.2-13.1.diff.gz
 924e526d1c26abc34970599270280b17b745770c 69848 libcvc3-2-java_2.2-13.1_all.deb
 74e5b468152b952231bb8945c7e3351c009b99f1 13210 cvc3-el_2.2-13.1_all.deb
 37c5d1febcd15797d0a513189659b58e30d5002a 22804 cvc3_2.2-13.1_amd64.deb
 74eaf25470fb25ef85db7c31bbddd57098030e8f 2348288 libcvc3-2_2.2-13.1_amd64.deb
 b7d1591951226e8f073912d2ba9b3b6e01fc37e7 192242 libcvc3-2-dev_2.2-13.1_amd64.deb
 87ab0bf3747c086b5141ff8aa44fb1df52645981 79584 libcvc3-2-jni_2.2-13.1_amd64.deb
Checksums-Sha256: 
 3aed973011596264a6bdc92c629d3380c3641ae524c6fa613eb2b37f2b1b4bac 1119 cvc3_2.2-13.1.dsc
 3e69ca88a5e78a8d46731c47652bb1d5298656bc6c61ded3aa959bcf6e5ac504 66174 cvc3_2.2-13.1.diff.gz
 258474a8b139060cdddda3ecf48683c5fd69d2902051ea4ea151e34e8858d118 69848 libcvc3-2-java_2.2-13.1_all.deb
 f2f4e405a7c0a5d068e59e4642d437be53402e9e6bb48dcfeddf5909d839a5f5 13210 cvc3-el_2.2-13.1_all.deb
 fd64c98077f6dec734c448bda35da686510911778bfbee2b8ca7dbe5dbd3269a 22804 cvc3_2.2-13.1_amd64.deb
 8a60ff4a966956569ba2e4cc331cdede25993e4f5598f285fe2e584f0771d5ad 2348288 libcvc3-2_2.2-13.1_amd64.deb
 ceecc818db44026139a811128fb3623bc594bc0695140a67cf68510a67ee6292 192242 libcvc3-2-dev_2.2-13.1_amd64.deb
 02518de913c26000ad754f68d4ec36cf50c20f7eb8e9f239341031b6d96c3fad 79584 libcvc3-2-jni_2.2-13.1_amd64.deb
Files: 
 b831555467112a26c9cb7bffedd13fdc 1119 math extra cvc3_2.2-13.1.dsc
 60e791ff2dcdcfa47cc0236f9885e8de 66174 math extra cvc3_2.2-13.1.diff.gz
 d026e088d01232d12e07c498d99b2831 69848 java extra libcvc3-2-java_2.2-13.1_all.deb
 eaaa47a01ad1645102d28a9bccab19d0 13210 math extra cvc3-el_2.2-13.1_all.deb
 496069a02afa0b1f248e20983d3b525b 22804 math extra cvc3_2.2-13.1_amd64.deb
 1b533c0dfc6ebc338d8aba0db8402108 2348288 libs extra libcvc3-2_2.2-13.1_amd64.deb
 8b41a1113b5e95b91680c69be766b897 192242 libdevel extra libcvc3-2-dev_2.2-13.1_amd64.deb
 1f267d69e57b2ad0e5cf287629861baa 79584 java extra libcvc3-2-jni_2.2-13.1_amd64.deb

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

iD8DBQFNgXfm0i2bPSHbMcURAkFAAJwJDsA3ZP7ifnXyHR0s/ZYw0gn59QCdG1qo
0lCfhKKPQO+fs2KfkIaSPHQ=
=CsqX
-----END PGP SIGNATURE-----


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