Publishing details

• Created on 2019-09-02 by Ubuntu Archive Auto-Sync
• Removed from disk on 2020-12-29.
• Removal requested on 2020-12-29.
• Published on 2019-09-02

Changelog

menhir (20190626-6ubuntu1) eoan; urgency=medium

  * Merge from Debian unstable.  Remaining changes:
    - Fix build error due to exported V=1 function in launchpad
      buildd configuration (patch accepted upstream)

 -- Gianfranco Costamagna <email address hidden>  Tue, 27 Aug 2019 18:39:51 +0200

Builds

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

Package files

• libmenhir-coq_20190626-6ubuntu1_amd64.deb (1.3 MiB)
• libmenhir-coq_20190626-6ubuntu1_arm64.deb (1.3 MiB)
• libmenhir-coq_20190626-6ubuntu1_armhf.deb (1.3 MiB)
• libmenhir-coq_20190626-6ubuntu1_i386.deb (1.3 MiB)
• libmenhir-coq_20190626-6ubuntu1_ppc64el.deb (1.3 MiB)
• libmenhir-coq_20190626-6ubuntu1_s390x.deb (1.3 MiB)
• libmenhir-ocaml-dev-dbgsym_20190626-6ubuntu1_amd64.ddeb (15.9 KiB)
• libmenhir-ocaml-dev-dbgsym_20190626-6ubuntu1_arm64.ddeb (14.7 KiB)
• libmenhir-ocaml-dev-dbgsym_20190626-6ubuntu1_armhf.ddeb (15.2 KiB)
• libmenhir-ocaml-dev-dbgsym_20190626-6ubuntu1_i386.ddeb (15.5 KiB)
• libmenhir-ocaml-dev-dbgsym_20190626-6ubuntu1_ppc64el.ddeb (13.9 KiB)
• libmenhir-ocaml-dev-dbgsym_20190626-6ubuntu1_s390x.ddeb (13.5 KiB)
• libmenhir-ocaml-dev_20190626-6ubuntu1_amd64.deb (197.9 KiB)
• libmenhir-ocaml-dev_20190626-6ubuntu1_arm64.deb (202.9 KiB)
• libmenhir-ocaml-dev_20190626-6ubuntu1_armhf.deb (196.4 KiB)
• libmenhir-ocaml-dev_20190626-6ubuntu1_i386.deb (192.9 KiB)
• libmenhir-ocaml-dev_20190626-6ubuntu1_ppc64el.deb (205.0 KiB)
• libmenhir-ocaml-dev_20190626-6ubuntu1_s390x.deb (194.6 KiB)
• menhir-dbgsym_20190626-6ubuntu1_amd64.ddeb (198.7 KiB)
• menhir-dbgsym_20190626-6ubuntu1_arm64.ddeb (204.2 KiB)
• menhir-dbgsym_20190626-6ubuntu1_armhf.ddeb (180.8 KiB)
• menhir-dbgsym_20190626-6ubuntu1_i386.ddeb (191.9 KiB)
• menhir-dbgsym_20190626-6ubuntu1_ppc64el.ddeb (163.2 KiB)
• menhir-dbgsym_20190626-6ubuntu1_s390x.ddeb (163.3 KiB)
• menhir-doc_20190626-6ubuntu1_all.deb (545.0 KiB)
• menhir_20190626-6ubuntu1.debian.tar.xz (16.8 KiB)
• menhir_20190626-6ubuntu1.dsc (2.3 KiB)
• menhir_20190626-6ubuntu1_amd64.deb (622.2 KiB)
• menhir_20190626-6ubuntu1_arm64.deb (689.2 KiB)
• menhir_20190626-6ubuntu1_armhf.deb (586.0 KiB)
• menhir_20190626-6ubuntu1_i386.deb (557.2 KiB)
• menhir_20190626-6ubuntu1_ppc64el.deb (702.2 KiB)
• menhir_20190626-6ubuntu1_s390x.deb (695.1 KiB)
• menhir_20190626.orig.tar.gz (2.4 MiB)