Accepted cvc4 1.6-1 (source amd64) into unstable, unstable

Fabian Wolff Sat, 11 Aug 2018 13:10:55 -0700
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 07 Jan 2018 16:19:48 +0100
Source: cvc4
Binary: cvc4 libcvc4-dev libcvc4-5 libcvc4parser5
Architecture: source amd64
Version: 1.6-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers 
<debian-science-maintain...@lists.alioth.debian.org>
Changed-By: Fabian Wolff <fabi.wo...@arcor.de>
Description:
 cvc4       - automated theorem prover for SMT problems
 libcvc4-5  - automated theorem prover for SMT problems (runtime)
 libcvc4-dev - automated theorem prover for SMT problems (development files)
 libcvc4parser5 - automated theorem prover for SMT problems (parser runtime)
Closes: 880146 880147
Changes:
 cvc4 (1.6-1) unstable; urgency=medium
 .
   * New upstream release.
   * Update Vcs-Git and Vcs-Browser fields in debian/control.
   * Restrict build architectures to those architectures where cvc4 has
     previously built successfully since upstream has been unresponsive
     with regard to fixing those build failures (Closes: #880146,
     #880147).
   * Refresh patches.
   * Remove 02-include-paths.patch (fixed upstream).
   * Install NEWS file.
   * Install some examples with the -dev package.
   * Upgrade to debhelper compat level 11.
   * Upgrade to Standards-Version 4.2.0 in debian/control (no changes).
   * Update debian/copyright.
   * Adjust package names to match new SONAMEs.
   * Add patch 04-fix-spelling.patch to fix several spelling errors.
   * Mark libcvc4-5 and libcvc4parser5 as Multi-Arch: same.
Checksums-Sha1:
 c04310e8cd009deee278d72ea5c772c60dca934b 2643 cvc4_1.6-1.dsc
 b180389c2df64c16b52eee70de57bf4893fd1b8c 7815893 cvc4_1.6.orig.tar.gz
 6d764293b0b0feee02a9034a896c0fc7698f06d0 8176 cvc4_1.6-1.debian.tar.xz
 c6ae88bafbdae1afd15ede4af543a4930e2f2136 3555376 cvc4-dbgsym_1.6-1_amd64.deb
 dabbbdf1cf9be8f6341b9a0301fbef54291d4bf6 8445 cvc4_1.6-1_amd64.buildinfo
 01302eb945d1fa4c9dd9105cca4be3035b1539f3 139508 cvc4_1.6-1_amd64.deb
 9c0259232b0319987a749532ab6e0c0053a92557 151678128 
libcvc4-5-dbgsym_1.6-1_amd64.deb
 79891c3d68e7b2a009b34d37151f4c1e5135875c 4112080 libcvc4-5_1.6-1_amd64.deb
 3a4b1280871e29c481d599e519be698f28d85eaf 6760264 libcvc4-dev_1.6-1_amd64.deb
 191b1ee1fdaf85552adbcce5391497447a63a00f 6229340 
libcvc4parser5-dbgsym_1.6-1_amd64.deb
 01d303a5cab19d3a51b14666a410182022e43726 362620 libcvc4parser5_1.6-1_amd64.deb
Checksums-Sha256:
 014f3ad74e11ee0473ee452e5490b8571bb92ae892a2db748a46493d8d9c7772 2643 
cvc4_1.6-1.dsc
 5c18bd5ea893fba9723a4d35c889d412ec6d29a21db9db69481891a8ff4887c7 7815893 
cvc4_1.6.orig.tar.gz
 38c4b3866770f3b2566228da992c8aa2b5e7ad0360cfb31be63ff9646222f44a 8176 
cvc4_1.6-1.debian.tar.xz
 9b362dfe7612a23f4fc03eecae5bdb1b33fafc759b7a5a35db731f71a6f40190 3555376 
cvc4-dbgsym_1.6-1_amd64.deb
 fc158313f28566d9e52b18c1c2d33cd881fe3a92c593729abc842efa0388af0c 8445 
cvc4_1.6-1_amd64.buildinfo
 b3804fbaced6ee3b9f47680128dfd90857f236d58598bbf1fec19876897dc84d 139508 
cvc4_1.6-1_amd64.deb
 83da5bdc5003cf76f0a57b907629e91f7c4f26691445d0b2a262cdc5fae09fa4 151678128 
libcvc4-5-dbgsym_1.6-1_amd64.deb
 d55e08ebad8fa49635004c212024e848e7057d5da8c4bd94e2bb5eb868c5873e 4112080 
libcvc4-5_1.6-1_amd64.deb
 cf452ebd845655c23ef2297f80537352a6f37167b33669065b9e1389fd5269c4 6760264 
libcvc4-dev_1.6-1_amd64.deb
 2ed85d9560dc734520f60f591d4a5404881b3d1ff81f134f77c8562d28864cc6 6229340 
libcvc4parser5-dbgsym_1.6-1_amd64.deb
 d86ffa195a12227fad9febd918ed257a7b5e23beacefa7587dbb648d141e9641 362620 
libcvc4parser5_1.6-1_amd64.deb
Files:
 cddea4025a8c894aad5ba19a9ac3d84f 2643 math optional cvc4_1.6-1.dsc
 aac9f3725d2247bcf5dcb87bbbbdf5bb 7815893 math optional cvc4_1.6.orig.tar.gz
 6aa32040763309ecda4fe0ac3637cd60 8176 math optional cvc4_1.6-1.debian.tar.xz
 c80e6f7828e3066209b0769d6c9d83a2 3555376 debug optional 
cvc4-dbgsym_1.6-1_amd64.deb
 78ffd00dca814039c0de26599e4b9c2f 8445 math optional cvc4_1.6-1_amd64.buildinfo
 ecd72951ee1dc9f990e3ffff7080f5cc 139508 math optional cvc4_1.6-1_amd64.deb
 3d263e9b48b7cb524acc75dbfa0965dc 151678128 debug optional 
libcvc4-5-dbgsym_1.6-1_amd64.deb
 74d69c81372e636a2d547a1c20814371 4112080 libs optional 
libcvc4-5_1.6-1_amd64.deb
 1dbf53f53bb01f4579b6ab6e61b5881d 6760264 libdevel optional 
libcvc4-dev_1.6-1_amd64.deb
 2827c8d42bcafbd6930da2b8184bd87b 6229340 debug optional 
libcvc4parser5-dbgsym_1.6-1_amd64.deb
 5c05fbd5b2a69ae02703012429acc1b3 362620 libs optional 
libcvc4parser5_1.6-1_amd64.deb
Accepted cvc4 1.6-1 (source amd64) into unstable, unstable

Reply via email to
