Ubuntu
mcrl2 package

mcrl2 201107.1-1 source package in Ubuntu

Changelog

mcrl2 (201107.1-1) unstable; urgency=low

  * New upstream bugfix release:
    - Fixes infinite loop in lpsconfcheck.
  * debian/README.source: Removed, the source is no longer cleaned.
  * debian/TODO: Marked the boost-removal task as done! 
  * debian/patches/series,
    debian/patches/lintian_fixes.patch:
    - Dropped because it has been incorporated upstream.
  * debian/rules:
    - No longer set variables CMAKE_C_FLAGS_DEBUG, MCRL2_BUILD_IN_SOURCE,
      and MCRL2_USE_BOOST_INTERNAL as they are no longer used by the
      project. 
  * debian/watch: Updated to also track bugfix releases.
 -- Ubuntu Archive Auto-Sync <email address hidden>   Tue,  03 Jan 2012 02:34:11 +0000

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section
Precise release universe math

Downloads

File Size SHA-256 Checksum
mcrl2_201107.1.orig.tar.gz 4.9 MiB fd15cda5099583df4ef01fb711cab33b7de2218b59c4a09fb557fe2254b4da7e
mcrl2_201107.1-1.debian.tar.gz 6.7 KiB 17d245642ab498d153a39c40ff663cc08405d9bca59047d02163f8108da31681
mcrl2_201107.1-1.dsc 1.4 KiB 9291bcf7a58962f6975ec599749e20907c1c36493dcb674347954e34c76e95bd

View changes file

Binary packages built by this source

mcrl2: No summary available for mcrl2 in ubuntu quantal.

No description available for mcrl2 in ubuntu quantal.