-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 29 Jun 2016 14:44:27 +0200 Source: dose3 Binary: libdose3-ocaml-dev libdose3-ocaml dose-distcheck dose-builddebcheck dose-extra apt-cudf dose-doc Architecture: source amd64 all Version: 5.0-1~bpo8+1 Distribution: jessie-backports Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether dependencies of packages can be satisfied dose-doc - Documentation for dose tools and libraries. dose-extra - Extra QA tools from the Dose3-library libdose3-ocaml - OCaml libraries for package dependencies (runtime files) libdose3-ocaml-dev - OCaml libraries for package dependencies (development files) Closes: 786671 789331 789354 797448 801773 809049 810303 810513 811248 811569 812203 812786 823906 826690 Changes: dose3 (5.0-1~bpo8+1) jessie-backports; urgency=medium . [ Johannes Schauer ] * backport to Debian Jessie . dose3 (5.0-1) unstable; urgency=medium . * new upstream release . dose3 (5.0~rc2-1) experimental; urgency=medium . * new upstream release: - refreshed patch binaries-prefix-edos - dropped patches integrated by upstream: 0001-applications-apt-cudf.ml-Do-not-generate-removal-req.patch 0001-fix-licence-header.patch * specify minimum version 1.1.2 for build-dependency "cppo", following upstream instructions. . dose3 (4.3-3) experimental; urgency=medium . * dose-doc: breaks older versions of apt-cudf, libdose3-ocaml-dev, dose-distcheck (closes: #826690). . dose3 (4.3-2) experimental; urgency=medium . * New binary package dose-doc. Split debian/rules targets into -arch and -indep; split off Build-Depends-Indep from Build-Depends. * change doc-base section of the apt-cudf primer to System/Package Management * d/rules: simplify override for dh_auto_clean, create file debian/clean . dose3 (4.3-1) experimental; urgency=medium . [ Ralf Treinen ] * New upstream version. * Drop patch lexing-debian-fields: applied upstream * Standards-Version 3.9.8 (no change) . [ Johannes Schauer ] * Drop patch disable_dot because #809049 has been fixed. Restore build dependency on graphviz. * Add patch 0001-applications-apt-cudf.ml-Do-not-generate-removal-req from upstream git master to let apt-cudf not create a removal request for upgrades or downgrades but only a single install request. See the patch description as well as the closed bug for details (closes: #823906) * Refreshed patch binaries-prefix-edos * Clarify copyright situation of scripts/pack.ml in debian/copyright and patch the copyright header of scripts/pack.ml accordingly with a new patch called 0001-fix-licence-header.patch . dose3 (4.2-2) unstable; urgency=medium . * Dropped the Testsuite field in d/control, as it is no longer needed. * d/copyright: - updated filename versioning/debian.ml - removed duplicate paragraph for debian/update-cudf-solvers * Vcs-git: replaced insecure git: URI by https: * patch disable-dot: add Author and Description . dose3 (4.2-1) experimental; urgency=medium . * New upstream version. This version fixes a bug in the manpage of dose-builddebcheck (closes: #811248) - refreshed patches: * binaries-prefix-edos * disable_dot - dropped patches integrated by upstream: * fix_ftbfs_on_bytecode_arch * fix_META * cudf_max_int * fixed patch add-gnuhardened1-linux, thanks to Balint Reczey (closes: #812786, again) * d/rules: upstream has renamed manpage buildcheck into deb-buildcheck * d/*.NEWS: say that format version of yaml output has been bumped * drop build-dependency on graphviz, since generation of dot files is deliberately disabled (by patch disable_dot). * Standards-Version 3.9.7 (no change) . dose3 (4.1-4) unstable; urgency=medium . * patch lexing-debian-fields: syntax of debian fields according to debian policy. Patch taken from upstream. (closes: #811569) * patch add-gnuhardened1-linux: compile on hardenend1-linux-amd64. Thanks to Balint Reczey for the patch! (closes: #812786) * fix name of dose-deb-coinstall in package description of dose-extra (closes: #812203) * dose-{distcheck,builddebcheck}.NEWS: announce changes in printing of package names (closes: #810303) * add test cases for bug#811569 and bug#790422. . dose3 (4.1-3) unstable; urgency=medium . * Fix META file: debian.cm{,x}a needs pef.cm{,x}a. The latter must appear first in the META file. * Add patch to correclty compute max_int on 32bits architectures (Closes: #810513). Thanks to Julian Andres Klode for the patch. . dose3 (4.1-2) unstable; urgency=medium . * Team upload. * Fix FTBFS on bytecode architectures. - add patch fix_ftbfs_on_bytecode_arch . dose3 (4.1-1) unstable; urgency=medium . * new upstream version. This release implements versioned provides (Closes: #786671). - refreshed patch disable-dot. * configure: explicit --bindir and --libdir . dose3 (4.1~beta1-1) experimental; urgency=medium . * new upstream version - refreshed patch coinstall-binary-name - dropped patch coinstall-binary-name, fixed upstream * bump version of build-dependency ocamlgraph and ocaml-nox . dose3 (4.0.2-4) unstable; urgency=medium . * Team upload. * Disable call to dot during build to avoid FTBFS on some architectures (Closes: #809049). . dose3 (4.1~beta1-2) experimental; urgency=medium . * add patch fix-doc-target-without-ocamlopt.patch to make dose3 build on architectures without ocamlopt . dose3 (4.0.2-3) unstable; urgency=medium . * revert modifications done for 4.0.2-2 and restore generation of ocamldoc documentation since this is fixed now in ocaml. . dose3 (4.0.2-2) unstable; urgency=medium . * skip generation of ocamldoc documentation since it fails with ocaml 4.02 (closes: #801773): - patch skip-ocamldoc - debian/libdose3-ocaml-dev.docs - drop debian/libdose3-ocaml-dev.doc-base . dose3 (4.0.2-1) unstable; urgency=medium . * New upstream release * remove patch fix_META (was included upstream) . dose3 (4.0.1-2) unstable; urgency=medium . * add patch fix_META (Closes: #797448) . dose3 (4.0.1-1) unstable; urgency=medium . [ Johannes Schauer ] * New upstream release (Closes: #797448): - upstream dropped doc/webpages directory so remove debian/missing-sources and the corresponding sections from debian/copyright - remove patch make-doc-target-work as upstream fixed this - bump version requirement for libextlib-ocaml-dev to 1.7.0 because upstream requires implementation for custom exit values if wrong command line options are passed . [ Ralf Treinen ] * d/dose-distcheck.NEWS: inform about changes in output format and command line options . dose3 (4.0-1) unstable; urgency=medium . [ Ralf Treinen ] * New upstream release: - refresh patches: binaries-prefix-edos, coinstall-binary-name - deactivate patches: librpm-4.12 * drop the edos-distcheck transitional package. * Replaced build-dependency camlp4 by cppo, following upstream * debian/rules: simplify override_dh_auto_build (primers are now built by upstream's make doc) . [ Johannes Schauer ] * remove patches cudfSolver-fix-leaking-fds and encode-package-name-in-cudf_extras which have been integrated upstream * upstream moved ./deb/format822.ml to ./common. Adjusting d/copyright accordingly * upstream moved ./deb/version.ml to ./versioning/debian_version.ml. Adjusting d/copyright accordingly. * add d/copyright paragraph for common/shell_lexer.mll * add patch make-doc-target-work to make `make doc` work again * bump d/compat to 9. It has been in stable since wheezy and even old-old-stable has debhelper (>= 9) in backports. * simplify override_dh_auto_configure target * run dh-autoreconf to make sure that everything can truly be built from source * add debian/missing-sources for bootstrap.min.js and jquery-2.1.3.min.js and add debian/README.source to explain the situation * add d/copyright paragraphs for bootstrap.min.js, jquery-2.1.3.min.js and their unminified versions in debian/missing-sources * add doc/webpages to Files-Excluded in d/copyright . dose3 (3.3-4) unstable; urgency=low . * update patch binaries-prefix-edos: fix name of dose-deb-coinstall (closes: #789331). * patch librpm-4.12: Fix FTBFS with librpm-dev 4.12. Patch extracted from upstream git, commit 1d0ed0a. Bump build-dependency on librpm-dev to >= 4.12 (closes: #789354). * d/control: XS-Testsuite => Testsuite . dose3 (3.3-3) unstable; urgency=medium . * upload to unstable . dose3 (3.3-2) experimental; urgency=medium . * backport patch cudfSolver-fix-leaking-fds to work around libcudf bug https://gforge.inria.fr/tracker/index.php?func=detail&aid=18789&group_id=4385&atid=13811 * added myself to the Uploaders field * remove fixDebPrinter and fixMETA from debian/patches as they were unused * backport patch encode-package-name-in-cudf_extras to prepare for switch of cudf encoding of Debian package names in next dose3 release * backport patch remove_src_prefix_from_name . dose3 (3.3-1) experimental; urgency=medium . [ Johannes Schauer ] * Team upload. * new upstream version - dropped patches that were integrated upstream: build-cmx, doc-target, installcudf-target, manpages-typos, multiarch-accept-value-no * fix debian/watch (add uversionmangle) * reorder d/copyright stanzas so that the d/update-cudf-solvers paragraph gets used . [ Ralf Treinen ] * install the apt-external-solvers.primer in package apt-cudf: - added debian/apt-cudf.docs - added debian/apt-cudf.doc-base Checksums-Sha1: 8eb3151fdd7d012e3ae3ea0c7e167155d199dfa8 2680 dose3_5.0-1~bpo8+1.dsc 27fdec7a3e645409193a451aa3576353d8cfaef5 22048 dose3_5.0-1~bpo8+1.debian.tar.xz 84740a02fc2e045ce5a5e3bd653373a6d810ce9b 740696 libdose3-ocaml-dev_5.0-1~bpo8+1_amd64.deb 066cce857a41d532fae633e4ff592912d88f93cc 17836 libdose3-ocaml_5.0-1~bpo8+1_amd64.deb 564947b76ec8e0a07433a21ab9dfb4edcb1096b5 650488 dose-distcheck_5.0-1~bpo8+1_amd64.deb 4f78ce9813a679dfca522532c824e0339589a42b 633382 dose-builddebcheck_5.0-1~bpo8+1_amd64.deb 40588f173388aca966e353461cc6d75ee282e85f 1255226 dose-extra_5.0-1~bpo8+1_amd64.deb e4cf8bbf8d4dfbf82c6d6c5dfd5c7cc12bab162f 646858 apt-cudf_5.0-1~bpo8+1_amd64.deb 6328f85fda47aa0535ba3f114e249c5091e3ae7c 95916 dose-doc_5.0-1~bpo8+1_all.deb Checksums-Sha256: 8666798698413d7d26ee8d49b767a624dfa26fe16d8e9e2672a4f667fa7c583f 2680 dose3_5.0-1~bpo8+1.dsc fa39ba19fa4c35ac608a393f232cf6827099a54f701f8767f6e3f14bd94d68ec 22048 dose3_5.0-1~bpo8+1.debian.tar.xz d3b231c9a2b15529954726edd98d550c8f79bdf2a89923b512c3a19ca49d5198 740696 libdose3-ocaml-dev_5.0-1~bpo8+1_amd64.deb 33809ac6e0cf9d10f5ff0c14da18cd59e6b586b6b13ab6df9c506b41a9b7422f 17836 libdose3-ocaml_5.0-1~bpo8+1_amd64.deb 97d1e21db700b6cbafcedfad6d26aabcf61158102c9e4f1d597b75825ef56768 650488 dose-distcheck_5.0-1~bpo8+1_amd64.deb 5b1caa91014f9eb8a5a45513f0635c29bffc50c4fed7fb4a18efa262b40c8bf3 633382 dose-builddebcheck_5.0-1~bpo8+1_amd64.deb 6163fc1df7c9563c0fca4d49c3ff8cba16d87730e1c2c7f903b64e1a4f542207 1255226 dose-extra_5.0-1~bpo8+1_amd64.deb 90a81ca6e2b5df23950865c812ef62ef341b8452e0161790b8741af3a1a595a4 646858 apt-cudf_5.0-1~bpo8+1_amd64.deb 38c76bfe0305ba3a757a89830acc5bcaa89ae0e40dbd6f9be0451166f8ff78a4 95916 dose-doc_5.0-1~bpo8+1_all.deb Files: a1bf806e54ca79c58f312ddefc1b2fae 2680 ocaml extra dose3_5.0-1~bpo8+1.dsc 624cafb447fbe14fc023f5f1dcd89fa3 22048 ocaml extra dose3_5.0-1~bpo8+1.debian.tar.xz 1b9b876bbbe36262caaa59e84e635509 740696 ocaml extra libdose3-ocaml-dev_5.0-1~bpo8+1_amd64.deb a01d29c97e84358e1e5e64aba6b8ca4b 17836 ocaml extra libdose3-ocaml_5.0-1~bpo8+1_amd64.deb 81b1ed9d3fede2d10f09409c3cae32db 650488 devel extra dose-distcheck_5.0-1~bpo8+1_amd64.deb d81c8f2f34d3fa17b21b41c43bf0e2ea 633382 devel extra dose-builddebcheck_5.0-1~bpo8+1_amd64.deb 235a24d9a43adb1a3c280704873f9d80 1255226 devel extra dose-extra_5.0-1~bpo8+1_amd64.deb 174d0cc4ca947c72b795a53675303015 646858 admin extra apt-cudf_5.0-1~bpo8+1_amd64.deb 6601096c1c14cbc3220af3beb6be4770 95916 doc extra dose-doc_5.0-1~bpo8+1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBAgAGBQJXeB1lAAoJENPhc4PPp/8GpWEP/RbF/TRFKhImSKPpnE6HhlLG In+vK++ZMBGFy6yPW9utbANQlovDpFV7asBJQ6RO+YXl2Qck08xr7iZKVRwzMEH9 7/d2QJnMyxWpjK9k34ST33KxLMG00nEgdBgVdzfBDTIUUbE5uOwiFms16uBmU8Jo X6GioNd3CGyg+47XTvPMFZHIJ/cOJSaEQJHTuoI1SrF7PiOQCFcfFF4RSjClE988 C0ZLsIJA0CG0lKeGhFKAAo1GDvuJOYos8tXylOAj8/rDDu6PPBY3HaLNgYWE0U/F IYJsHQMGEszCamcPs/PqQs34qr9SBhfm5qhej1bLTl1hzGvIJLB9nFfwURTAEoPn ukxN4aRsyCKX6LYd9KrjV/hI7tG28uv0SehBgci0JrqEcnE3k9OLfIULjuh4U4c8 asXdSp44P+FpZPBoE3LNFA230uEsUTFNkSng4RYDlmtrogm+syoXVAh25CyS9PmE u4458X8/qTjWLdDg9mV4/esXiMdSNX8Y0dbUnHWtG+WSpZJVDHuTUfi3ASxYlp4U M5f0Y9dxP2YH2OHd4805jhHCamg3tYwaSf0wr1hxbyD7cP8SYrLzqzC/k94qlQt+ Sbtl7bshR/O7JaR3LNPcf97NtJrq3dUe0ReibZXwPdjXoYcsD6Jn6FqlaQr02Nv3 6vGCPtpaA10z7CGJA52d =iRMn -----END PGP SIGNATURE-----
