Publishing details

• Removed from disk on 2018-11-25.
• Removal requested on 2018-10-30.
• Deleted on 2018-10-30 by Adam Conrad

  Moved to disco-proposed

• Published on 2018-07-20
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

menhir (20180530-2) unstable; urgency=medium

  * menhir-doc: Breaks/Replaces menhir (<< 20170712-1) since examples
    had been moved from menhir to menhir-doc (closes: #903455)
  * Standards-version 4.1.5 (no change).

 -- Ralf Treinen <email address hidden>  Thu, 19 Jul 2018 22:19:24 +0200

Builds

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

Package files

• libmenhir-ocaml-dev_20180530-2_amd64.deb (172.3 KiB)
• libmenhir-ocaml-dev_20180530-2_arm64.deb (174.2 KiB)
• libmenhir-ocaml-dev_20180530-2_armhf.deb (175.4 KiB)
• libmenhir-ocaml-dev_20180530-2_i386.deb (171.4 KiB)
• libmenhir-ocaml-dev_20180530-2_ppc64el.deb (177.1 KiB)
• libmenhir-ocaml-dev_20180530-2_s390x.deb (171.5 KiB)
• menhir-dbgsym_20180530-2_amd64.ddeb (190.1 KiB)
• menhir-dbgsym_20180530-2_arm64.ddeb (195.4 KiB)
• menhir-dbgsym_20180530-2_armhf.ddeb (173.6 KiB)
• menhir-dbgsym_20180530-2_i386.ddeb (184.2 KiB)
• menhir-dbgsym_20180530-2_ppc64el.ddeb (156.2 KiB)
• menhir-dbgsym_20180530-2_s390x.ddeb (157.1 KiB)
• menhir-doc_20180530-2_all.deb (501.2 KiB)
• menhir_20180530-2.debian.tar.xz (7.1 KiB)
• menhir_20180530-2.dsc (2.2 KiB)
• menhir_20180530-2_amd64.deb (597.6 KiB)
• menhir_20180530-2_arm64.deb (649.0 KiB)
• menhir_20180530-2_armhf.deb (560.7 KiB)
• menhir_20180530-2_i386.deb (536.6 KiB)
• menhir_20180530-2_ppc64el.deb (663.2 KiB)
• menhir_20180530-2_s390x.deb (668.1 KiB)
• menhir_20180530.orig.tar.gz (963.3 KiB)