Accepted alt-ergo 0.95.1-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 17 Apr 2013 09:45:39 +0200
Source: alt-ergo
Binary: alt-ergo libalt-ergo-ocaml-dev
Architecture: source amd64
Version: 0.95.1-1
Distribution: experimental
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.1-1) experimental; urgency=low
.
* New upstream release.
* Split off a package for the development libraries.
* Patches:
- Adapted all patches to new upstream.
- Merge patch 0009-fix-install-gui-target into
0004-Add-rules-and-targets-for-gui.byte
- Add patch 0009-clean-remove-META.patch
- Drop patch 0006-PRECM-O-X-is-needed-to-link-altgr-ergo.patch as
upstream's makefile is doing the right thing.
* debian/rules:
- dh_auto-build: don't call "make altgr-ergo.$(OCAML_BEST)" since this
is now subsumed by "make all"
- drop the dh_install override since upstream's Makefile does the
right thing
- configure target: remove the "alt_ergo" from the libdir flag
as this is added in upstream's Makefile.
- Drop creation of the META file by debian/rules as this is now done by
upstream's Makefile.
* Drop debian/alt-ergo.dirs.in as all needed directories are created by
upstream's Makefile.
* Source-format 3.0 (quilt):
- debian/source/format: update
- debian/rules: drop "quilt" option from dh invocation
- debian/control: drop quilt from build-dependencies
- drop debian/README.source which is no longer necessary
* Drop build-dependencies on autotools-dev, autoconf which are not needed.
Touch configure in debian/rules to assure it is newer than configure.in.
* Remove debian/docs as the upstream README file is useless for users of
the debian package.
* update clean target:
- invoke dist-clean instead of clean in debian/rules
- drop debian/clean which is no longer necessary (with patch
0009-clean-remove-META.patch applied)
* Rewrite long package description.
* debian/watch: add extra directory per release.
* debian/copyright:
- machine-readable format 1.0
- update copyright years to 2006-2011
- add copyright holder Francois Bobot
* Added myself as uploader.
* Standards-Version 3.9.4 (no change)
Checksums-Sha1:
c518d9ba3f90ced97e0a4d32dfdc930fcebe0b3c 1573 alt-ergo_0.95.1-1.dsc
eae5cc58bc28bbfd369f5c6ef8f767c835ec9ce9 239053 alt-ergo_0.95.1.orig.tar.gz
5de6ab64c300739ac3576fd809cab1ecc3c3b982 14206 alt-ergo_0.95.1-1.debian.tar.gz
1360896964d7e4aff418cca8025506bf731c2945 2173708 alt-ergo_0.95.1-1_amd64.deb
7a9e898fb27b5250c5c7a67377684811cbb4bf79 656662 libalt-ergo-ocaml-dev_0.95.1-1_amd64.deb
Checksums-Sha256:
9b61242121669b5cb5f64f24271b741ea7abe48e69768f3c3fc441bf20fa174c 1573 alt-ergo_0.95.1-1.dsc
31818b63ff13b4a0f1b853fe8be75823614433ec0cfddb0ee349af579b41fe10 239053 alt-ergo_0.95.1.orig.tar.gz
39d2be2bff2215a76e084bbe4c7e576fabe1b6b95e374c0b9e20e03ba5f58caf 14206 alt-ergo_0.95.1-1.debian.tar.gz
c6036a1f92eeba9eff618b7af991fbccb768495e0898a1439fb7131eb62823d9 2173708 alt-ergo_0.95.1-1_amd64.deb
59e98d8092225c0e704d7ea4e19c1af9ae6cbe99eca71b6775c5dc541eec7840 656662 libalt-ergo-ocaml-dev_0.95.1-1_amd64.deb
Files:
86c37f2c5095d3e2d449b5475d86b8ac 1573 math optional alt-ergo_0.95.1-1.dsc
c0f1cbfdae04f1c37853ed5fd10154ec 239053 math optional alt-ergo_0.95.1.orig.tar.gz
f782c40303862409b92664e53876de22 14206 math optional alt-ergo_0.95.1-1.debian.tar.gz
fbe00b7bb0d01402ceb9eef9038f78ca 2173708 math optional alt-ergo_0.95.1-1_amd64.deb
b65f3edcdf585e1725f5e8be93be39d8 656662 ocaml optional libalt-ergo-ocaml-dev_0.95.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlFuVr8ACgkQtzWmSeC6BMH7fwCgvnjBBwQN9QNtkMcXyKOwICtw
Re0An0on07C8yjkHpgUKFCJn+ZW1JX4Q
=6WlF
-----END PGP SIGNATURE-----
Reply to: