Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 22 Jul 2017 19:58:29 +0200
Source: menhir
Binary: menhir libmenhir-ocaml-dev menhir-doc
Architecture: source amd64 all
Version: 20170712-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <trei...@debian.org>
Description:
libmenhir-ocaml-dev - Menhir library for OCaml
menhir - Parser generator for OCaml
menhir-doc - Documentation of the Menhir parser generator for OCaml
Closes: 484497
Changes:
menhir (20170712-1) unstable; urgency=medium
.
* New upstream release, now including the sources of the manual.
* New binary package menhir-doc, containing the manual in pdf
(closes: #484497).
- add debian/menhir-doc.docs, debian/menhir-doc.doc-base.
- examples go now into the menhir-doc package.
- menhir suggests menhir-doc.
* Since we now have the sources of the manual:
- drop debian/purify-tarball which is no longer needed.
- drop upstream filtering from debian/gbp.conf
* debian/rules:
- let upstream's makefile install into debian/tmp, then install stuff
into package directories with dh_*.
- use dh_missing --fail-missing
* Added build-dependency on ocamlbuild.
* Dropped debian/menhir.manpages, debian/menhir.dirs
* debian/tests/control: add dependency on @
* Changed section to ocaml
* Minor improvements of package descriptions.
* Updated debian/copyright:
- update header (upstream name and contact)
- complete file list of library files
- the files not being part of the library are under GPLv2 now
- bump copyright years
Checksums-Sha1:
11e71b507b0e74f227915ac4879b932fd7c51b38 2278 menhir_20170712-1.dsc
57551a74227dc4a20743989acc4e82406fc95153 855262 menhir_20170712.orig.tar.gz
fa79413741c2351831df2189c07ac54dd5366ba3 7404 menhir_20170712-1.debian.tar.xz
83157a1e68836b1208ad2b8a27b5b6fda75e875d 169868
libmenhir-ocaml-dev_20170712-1_amd64.deb
7d1db3af95447be25be4d447f234966dfeb1f074 136424
menhir-dbgsym_20170712-1_amd64.deb
686fe557474e6ff1b00f0f71891916e58fd77678 462346 menhir-doc_20170712-1_all.deb
4c5d6c8e4b691198c9a873233fc605d9d973f65b 6804 menhir_20170712-1_amd64.buildinfo
7123a1a6edeea1ceca6035445e0eaa03981a6755 524512 menhir_20170712-1_amd64.deb
Checksums-Sha256:
f4b460da80b4c0fc9625e21ea05e03eb763addf556cf16b0ece204a887c59a3f 2278
menhir_20170712-1.dsc
ca482d690052343d6cb9452433248a0a92cc8bfc8fa529dc313220c9d7c0d000 855262
menhir_20170712.orig.tar.gz
f5b0c4693ed22fca701f471ba20baa1e8fb245126ce4caa74ba2f73bb57037b1 7404
menhir_20170712-1.debian.tar.xz
c0437a5d088b5eeb45c221a1c513d002565834feb1af015227c4bc092502c727 169868
libmenhir-ocaml-dev_20170712-1_amd64.deb
49304eca27accc1314504fa00a0b2842a5a95e187fc160d607528bb61cfccfd6 136424
menhir-dbgsym_20170712-1_amd64.deb
13b3ab92fdd6df4c51e5e9c3e4e439999e1b885857d2acee67c46ee6affd1163 462346
menhir-doc_20170712-1_all.deb
8cb6c727d0eef23798f824a3ea1103ae9af0f4bda2eebf0fbc89df0cd2426058 6804
menhir_20170712-1_amd64.buildinfo
1476b542982279f9ecfff0c36c0de5cf96667c9adeb5f4985f41e2f5136e32ca 524512
menhir_20170712-1_amd64.deb
Files:
3a643d8bd0b3efd3b7dede8a6ba03ef3 2278 ocaml optional menhir_20170712-1.dsc
85a5c2aef1d3f2224dab7c53d79892e5 855262 ocaml optional
menhir_20170712.orig.tar.gz
06e1f217345c90348f24f2161b37e04d 7404 ocaml optional
menhir_20170712-1.debian.tar.xz
9afcb1c919ffc2b5e3e67687ecef27da 169868 ocaml optional
libmenhir-ocaml-dev_20170712-1_amd64.deb
37c331ab604823c39d3ac996047b97fd 136424 debug extra
menhir-dbgsym_20170712-1_amd64.deb
328db94dce7caaef79082c15c02fed14 462346 doc optional
menhir-doc_20170712-1_all.deb
baf036ef3d5df5e1581eb6a3eed8313a 6804 ocaml optional
menhir_20170712-1_amd64.buildinfo
5f4278d48c5725c1de649960e6fe5a1a 524512 ocaml optional
menhir_20170712-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAll87WAACgkQdFxHZtTK
zf8upQ/+L0aUut8LBI+py+0yY7I1KyrGcfOBHjfSm8oiw4FtuVLRnA6MGeaeRRau
ysHxNbby6ibZG/dCgh80GNGRFUs9lV80RRe4rlHu3rS30R4e7kHiLsFuPNfe7DdQ
8RI4z5bC0If3Sy8wEd4lkXuo9JmgnP3escmBousO9M4NUZQUXJfUXnU9X2Mj5irt
loXpMz7NVRgNb09QRhZhZ5lUbN7Yh+NYXgfl38E7JV3zfVXCgKSkO433V5P1ws3o
klRmf1NZXc4Is0UCFnXwogdUjsSn9A+HlazqJN+FIgyodd0sgVpivVh9R/i2NblB
H6OZK3PD1UHigb3To2wm2beq526gvph0dLQTCGzNQil4FmXSTWK+l/PWqRuHDGbH
k1o4k+hkWFe4kp3tgLijsPMLLX15IEvc70mQvH1hSIKwe0i2Kv5nUp+HRs63tx7g
kxB5se8wz0k9mx460R8u0gFwrI9O4lDM0qVppSXU/+SO+Q6rDeTy51F0K6T2E7sU
7+kpt8lNRIHMe2XCRFiXwF7TxCYagubcyYt8ihswbdrjxH1XxgQL1yuaZx2G+ZFV
3MU48db0uZ/CEnMQPG2sJP9Lfh/nyOEPQjsQGg1Nh8yg9Fk4zC560AO6iqMt72ZD
r8+gQs9QKDDFUItBV/cx7ueVzbGmYRfAanWraCtbEB6OiGUAGKY=
=Rs5x
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
