mcrl2 201103-1 source package in Ubuntu

Changelog

mcrl2 (201103-1) unstable; urgency=low

  * New upstream release (closes: #615678).
  * Upload to unstable.
  * debian/patches:
    - Added fix_manpage_generation.patch to fix macro errors in
      some man pages (fix from rev. 9060).
  * debian/rules:
    - Do man-page generation the right way (enabled MCRL2_MAN_PAGES).
  * debian/watch: 
    - Changed the .bz2 suffix into .gz. 

mcrl2 (201103~rc1-0ubuntu1) maverick; urgency=low

  * New upstream release.
  * debian/control:
    - Remove unneeded build dependencies of some boost libraries.
    - Lower required version of boost libraries to 1.37.
  * debian/rules:
    - Remove build flags because they were changed upstream.
 -- Ubuntu Archive Auto-Sync <email address hidden>   Sat,  30 Apr 2011 13:17:18 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Oneiric
Original maintainer:
Paul van Tilburg
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
mcrl2_201103.orig.tar.gz 4.8 MiB 1d6760492e422c2c05f914eb44afe77b7c8bb9976ef0cf0d4c3d4b81f5845683
mcrl2_201103-1.debian.tar.gz 6.6 KiB e412127a47efb6d5deceff0e00d61286bbab63a2cbc33ccb572b7b42c49e4b22
mcrl2_201103-1.dsc 1.3 KiB 100c200d943631aa19cf99cf75d29fd6b1a516facd6fa1e670fabca731ddbbf1

Available diffs

View changes file

Binary packages built by this source