-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 17 Nov 2013 14:25:38 +0100 Source: alt-ergo Binary: alt-ergo libalt-ergo-ocaml-dev Architecture: source amd64 Version: 0.95.2-1 Distribution: sid Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: alt-ergo - Automatic theorem prover dedicated to program verification libalt-ergo-ocaml-dev - Theorem prover dedicated to program verification - libraries Changes: alt-ergo (0.95.2-1) sid; urgency=low . * New upstream release. * Update debian/watch, now points to ocamlpro site. * Refresh patch 0001-No-need-to-activate-debug-flag.patch * Drop patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch: the file test.mlw is no longer relevant. * drop patches that have been applied by upstream: - 0003-Fix-a-typo.patch - 0004-Add-rules-and-targets-for-gui.byte.patch - 0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch - 0007-Fix-all-target.patch - 0008-Split-install-pack-into-two-separate-targets-opt-and.patch - 0009-clean-remove-META.patch * Add build-dependency on libzarith-ocaml-dev * debian/rules: - drop backup of .depend which is no longer needed - drop overwrite for dh_auto_configure - in dh_auto_build target, drop touching of configure * debian/copyright: - update Download field to ocamlpro - Upstream Contact : add alt-ergo-bugs mailing list - Update copyright holder and year for files * - Put paragraphs into the right order * install examples/ into /usr/share/doc/alt-ergo * Standards-version 3.9.5 (no change) Checksums-Sha1: 425f08552e7919f824b18f9e48c3cec1773124fe 2234 alt-ergo_0.95.2-1.dsc 6555c40ba9d5690e98093c1ed2b53090e6f35ef2 233778 alt-ergo_0.95.2.orig.tar.gz 7093635c86947433d39d48beb29b6a8f8189292b 12016 alt-ergo_0.95.2-1.debian.tar.gz 8528288859264098599bbd10db39896f5f8c6b4d 1214156 alt-ergo_0.95.2-1_amd64.deb f75c8a1f9ebb254c9a9a1b174596ddbc449aa061 578632 libalt-ergo-ocaml-dev_0.95.2-1_amd64.deb Checksums-Sha256: b8e7310718d6f7999cd81ff86622fc2eff1edc901af20acc5e63ea3fea97d291 2234 alt-ergo_0.95.2-1.dsc 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac 233778 alt-ergo_0.95.2.orig.tar.gz d78d0203b4a426358a69de21593485db62814ae28e8f3e4d1ee697c0301ebe99 12016 alt-ergo_0.95.2-1.debian.tar.gz d526f85f094722edc7eab4d37e119f6fb8cc51785fa49eff0f525165822ba278 1214156 alt-ergo_0.95.2-1_amd64.deb 5b89e5f9cfa3dfe82f6ebe81960b5b5f4c18ef1c8c858145650fbd1e99f4993b 578632 libalt-ergo-ocaml-dev_0.95.2-1_amd64.deb Files: 884c3df64a299a85f14d18551ba94440 2234 math optional alt-ergo_0.95.2-1.dsc ab9c160f7ecb26aa2479f9169db9b869 233778 math optional alt-ergo_0.95.2.orig.tar.gz 3133364f966309447a2ae81ca01f20f4 12016 math optional alt-ergo_0.95.2-1.debian.tar.gz e6ba1a9381b40096ccfd30e3cdf6ca79 1214156 math optional alt-ergo_0.95.2-1_amd64.deb 519de359ab9bde4047b66f5c2a54e2b0 578632 ocaml optional libalt-ergo-ocaml-dev_0.95.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iQIcBAEBCAAGBQJSiMxUAAoJEHRcR2bUys3/sTMQAKuVHzP6RcIEv9VKhZE/MH41 hzcuvh4TY+JgL5EyCZ8UR17IMrBKoEKG3cXkKf8AoOzTkAft7UIvaY1eYs7t6lnv 3fOCt8qMCFLywsJTPiQH0oxHyYijy0F0fDv1RhP7rLEORasP+R59H6W0YnP2j3pP lUwnXeXi1Fy86V7nTtq4OHO27g0InDhrZrLHGPX0jNiHn1AlTd+BNN6xOafog2ni vjNhyd/T8ZynQgz5//onBzxj5WbfjmIl36ME8vpgHNx0RpmxB/cGMdLuPjGaYdwb 7D5MH67ASgV/b+R3C/XQkZ9ismRgDwYACVYG+Qr75tlfar3DcHZLAtX7RWxHtjgS v+x3p6c/62F6Jox1faFAzjVIkHtyN3KpEmRDdytv77jD74iV2NwX21+w4ui+UCaI 8Ky1rGMaGcmGNJInhpUs64P1axM+yRGDwNbwxSX5vqtzi3kv/K1NFer8aeOrBfWx Vxp4KJzDollgjHvzbUYpH2VMKP/obUwqhOkZcMVe3GJ4rVP2InIROaxVXguIsn1+ Qwp4K6esh/FME3QuvNJGTq2RqFuY8eckmBs73Ik/sVNhBCIPi8LBVca0fT/Ex93z vpPpmh3YgRLmwkeeqZcP+qPq+WxS+BErM9fLsVsRHzSzOMsiou8VpMAAW1l13G3B nPvf+kq3o53VEfVDwD0/ =aTFx -----END PGP SIGNATURE-----