-----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-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@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----- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1usxao-0006uz...@franck.debian.org