Publishing details

• Removed from disk on 2020-07-10.
• Removal requested on 2020-07-10.
• Published on 2017-09-01
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

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

 -- Ralf Treinen <email address hidden>  Sat, 22 Jul 2017 19:58:29 +0200

Builds

• amd64
• arm64
• armhf
• i386
• ppc64el
• s390x

Package files

• libmenhir-ocaml-dev_20170712-1_amd64.deb (170.6 KiB)
• libmenhir-ocaml-dev_20170712-1_arm64.deb (172.8 KiB)
• libmenhir-ocaml-dev_20170712-1_armhf.deb (177.3 KiB)
• libmenhir-ocaml-dev_20170712-1_i386.deb (170.0 KiB)
• libmenhir-ocaml-dev_20170712-1_ppc64el.deb (175.7 KiB)
• libmenhir-ocaml-dev_20170712-1_s390x.deb (170.0 KiB)
• menhir-dbgsym_20170712-1_amd64.ddeb (165.2 KiB)
• menhir-dbgsym_20170712-1_arm64.ddeb (145.2 KiB)
• menhir-dbgsym_20170712-1_armhf.ddeb (157.6 KiB)
• menhir-dbgsym_20170712-1_i386.ddeb (159.9 KiB)
• menhir-dbgsym_20170712-1_ppc64el.ddeb (138.4 KiB)
• menhir-dbgsym_20170712-1_s390x.ddeb (138.5 KiB)
• menhir-doc_20170712-1_all.deb (440.9 KiB)
• menhir_20170712-1.debian.tar.xz (7.2 KiB)
• menhir_20170712-1.dsc (2.2 KiB)
• menhir_20170712-1_amd64.deb (580.1 KiB)
• menhir_20170712-1_arm64.deb (586.2 KiB)
• menhir_20170712-1_armhf.deb (631.6 KiB)
• menhir_20170712-1_i386.deb (522.3 KiB)
• menhir_20170712-1_ppc64el.deb (620.6 KiB)
• menhir_20170712-1_s390x.deb (635.8 KiB)
• menhir_20170712.orig.tar.gz (835.2 KiB)