-----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-maintainers@lists.alioth.debian.org> Changed-By: Fabian Wolff <fabi.wolff@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 -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEI3pUsQKHKL8A7zH00Ot2KGX8XjYFAltp7IEACgkQ0Ot2KGX8 XjZ6ig/7BE54Hxd+wcZrAY4NSQn2aA0z9vFrfK+cLwUWg2iZj7iuDEaFROa1x8SX hhjI7LrUU+VWwsRPYB+0uiO1YJygvW4acxLv7ujygaAyh6L+k6wCXAfUGLM62syZ 8rARb5xw16JM/686383uMQisqSLPa1bzWbreI4RkU+l/JkDlWwsw2werEv269VH5 SbDVOZbiIBT8fV712AwyjReMfB0cxSyhb67R870/P6xtPuAlCsYuXluYV6/cR12I Ydi8ev3LD5mnp58rcZKHygkU7u2NqrbMyp2qVGCPo+JjXV4GKB2tbKs5RHvR9sYG PCJNHHxIVCf05O8i5llKW5NiHGqgk1bAEwe1kxv6EzL0sVuO220Yvs6jmPlolUNq FKbP1tNU6UWYC/eORiMgxm5+JITLyQXcBemQ1GvMrgZGzGq/ywUt9QyskS2a7bH/ hLZ5E1FSP2L3rPqH1YQ85mn4WghAtfryKG3m48/TgyXyZqkCUEmOXPXSY/haUKfV mtTdYahWQWUyibrl64zKQXabyp3pgghw+lZHMX+2b2d/xB2NKzTZmQJFgB+2TRjm O7Zo0II3p34vxyNXmffPRkzAVZPlI2UfKVIQIpm9/W1fySEt1I1+kfW2w/pp2SNp yFoleSTJWySbzJdJMkr0Cxw5iyWQZgYokOqJdHgKiNNLSPkXVIA= =KsQL -----END PGP SIGNATURE-----
