[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#484497: marked as done (please ship the menhir pdf manual)

Your message dated Sat, 12 Aug 2017 18:00:18 +0000
with message-id <E1dgahu-000ASM-MX@fasolo.debian.org>
and subject line Bug#484497: fixed in menhir 20170712-1
has caused the Debian Bug report #484497,
regarding please ship the menhir pdf manual
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
484497: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=484497
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: menhir
Version: 20071212.dfsg-1+b2
Severity: normal

On the menhir website there is a nice PDF manual of menhir
http://cristal.inria.fr/~fpottier/menhir/manual.pdf , but it is not
shipped in the menhir Debian package. Can you please add it to the
package and register it with doc-base?

It is my understanding that the manual has been removed from the Debian
package to make the tarball DFSG free, isn't it? If this is the case,
consider this bug as a request to clarify with upstream why they can't
just add the source document generating the PDF in the tarball and ship
it.

TIA,
Cheers.

-- System Information:
Debian Release: lenny/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental')
Architecture: i386 (i686)

Kernel: Linux 2.6.25-2-686 (SMP w/1 CPU core)
Locale: LANG=it_IT.UTF-8, LC_CTYPE=it_IT.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages menhir depends on:
ii  libc6                         2.7-11     GNU C Library: Shared libraries
ii  ocaml-nox [ocaml-nox-3.10.2]  3.10.2-3   ML language implementation with a 

menhir recommends no packages.

-- no debconf information

--- End Message ---
--- Begin Message --- 
Source: menhir
Source-Version: 20170712-1

We believe that the bug you reported is fixed in the latest version of
menhir, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 484497@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated menhir package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----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 <treinen@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-----

--- End Message ---
Reply to: