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 | 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 |
Available diffs
Binary packages built by this source
- mcrl2: No summary available for mcrl2 in ubuntu quantal.
No description available for mcrl2 in ubuntu quantal.