mcrl2 201202.0-2 source package in Ubuntu
Changelog
mcrl2 (201202.0-2) unstable; urgency=low [ Jeroen Keiren ] * Bugfix upload (closes: #661092). * debian/patches/series, debian/patches/dparser_header_fixes.patch: - Install headers belonging to dparser in their own directory. [ Paul van Tilburg ] * debian/control: - Changed myself to uploaded, made Jeroen maintainer. - Bumped standards version to 3.9.3. -- Paul van Tilburg <email address hidden> Fri, 24 Feb 2012 16:16:02 +0100
Upload details
- Uploaded by:
- Jeroen Keiren
- Uploaded to:
- Sid
- Original maintainer:
- Jeroen Keiren
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
mcrl2_201202.0-2.dsc | 1.4 KiB | 7f13109d9ec03af9ffa1b0aeabb7f1f9e3e5416d5ae4d4f563aaa5d656604b5f |
mcrl2_201202.0.orig.tar.gz | 8.4 MiB | 5c49b6882e1947fd5dddda5e14aba9aff56bfae75cb8182565dba6cba291d07f |
mcrl2_201202.0-2.debian.tar.gz | 6.8 KiB | 461eae62657e4d2167fb7e9793578065203ce1d4f972f71c9492b82139cff2ff |
Available diffs
No changes file available.
Binary packages built by this source
- mcrl2: No summary available for mcrl2 in ubuntu raring.
No description available for mcrl2 in ubuntu raring.