Accepted alt-ergo 0.95.2-1 (source amd64)
-----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-----