Ubuntu
menhir package

menhir 20070322.dfsg-3 source package in Ubuntu

Changelog

menhir (20070322.dfsg-3) unstable; urgency=low

  * Rebuild in bytecode when native compilation fails.

menhir (20070322.dfsg-2) unstable; urgency=low

  * Uploading to unstable.

menhir (20070322.dfsg-1) experimental; urgency=low

  * New upstream release.
  * Menhir is now correctly bootstrapped, closes: #397467.

menhir (20070215.dfsg-1) experimental; urgency=low

  * New upstream release.
  * Removed bashism.dpatch, integrated upstream.
  * Removed manpage, since it is now provided upstream.
  * Updated standards version to 3.7.2, no changes needed.

 -- Ubuntu Archive Auto-Sync <email address hidden>   Fri,  27 Apr 2007 00:40:19 +0100

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Gutsy
Original maintainer:
Samuel Mimram
Architectures:
any
Section:
devel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
menhir_20070322.dfsg.orig.tar.gz 164.2 KiB 3dc6eebe5a35f7d7da746ae175aafc5711579bd2184c9b729a607ae819667fac
menhir_20070322.dfsg-3.diff.gz 4.7 KiB 100b972984362c3b0295dba9aa7600e3531da854ef0d0a719fec8586c87d368c
menhir_20070322.dfsg-3.dsc 783 bytes 243d479f979ca65d4ebb64b01ef1cbb077c3748da551fbf6821b010d0d492a88

View changes file

Binary packages built by this source

menhir: No summary available for menhir in ubuntu gutsy.

No description available for menhir in ubuntu gutsy.