Publishing details

Removed from disk on 2018-06-22.
Removal requested on 2017-06-26.
Superseded on 2017-06-25 by menhir - 20170607.dfsg-2
Published on 2017-04-20
Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

menhir (20160808+dfsg-1) unstable; urgency=medium

  * Team upload
  * New upstream release

 -- Stéphane Glondu <email address hidden>  Tue, 16 Aug 2016 10:06:20 +0200

Available diffs

diff from 20151112.dfsg-1 to 20160808+dfsg-1 (110.0 KiB)
diff from 20160526.dfsg-1 to 20160808+dfsg-1 (11.3 KiB)

Builds

Package files

libmenhir-ocaml-dev_20160808+dfsg-1_amd64.deb (80.1 KiB)
libmenhir-ocaml-dev_20160808+dfsg-1_arm64.deb (80.9 KiB)
libmenhir-ocaml-dev_20160808+dfsg-1_armhf.deb (81.9 KiB)
libmenhir-ocaml-dev_20160808+dfsg-1_i386.deb (80.0 KiB)
libmenhir-ocaml-dev_20160808+dfsg-1_powerpc.deb (78.0 KiB)
libmenhir-ocaml-dev_20160808+dfsg-1_ppc64el.deb (57.0 KiB)
libmenhir-ocaml-dev_20160808+dfsg-1_s390x.deb (57.0 KiB)
menhir-dbgsym_20160808+dfsg-1_amd64.ddeb (114.2 KiB)
menhir-dbgsym_20160808+dfsg-1_arm64.ddeb (111.7 KiB)
menhir-dbgsym_20160808+dfsg-1_armhf.ddeb (117.7 KiB)
menhir-dbgsym_20160808+dfsg-1_i386.ddeb (109.7 KiB)
menhir_20160808+dfsg-1.debian.tar.xz (6.6 KiB)
menhir_20160808+dfsg-1.dsc (2.1 KiB)
menhir_20160808+dfsg-1_amd64.deb (488.0 KiB)
menhir_20160808+dfsg-1_arm64.deb (435.7 KiB)
menhir_20160808+dfsg-1_armhf.deb (440.6 KiB)
menhir_20160808+dfsg-1_i386.deb (419.0 KiB)
menhir_20160808+dfsg-1_powerpc.deb (394.3 KiB)
menhir_20160808+dfsg-1_ppc64el.deb (1.2 MiB)
menhir_20160808+dfsg-1_s390x.deb (1.2 MiB)
menhir_20160808+dfsg.orig.tar.gz (329.2 KiB)