mcrl2 201202.0-1 source package in Debian
Changelog
mcrl2 (201202.0-1) unstable; urgency=low
* New upstream release.
* debian/patches/series,
debian/patches/lintian_fixes.patch:
- Dropped because it has been incorporated upstream.
* debian/rules:
- Set MCRL2_PACKAGE_RELEASE, which is required by upstream for
proper version numbering.
* debian/watch:
- Update to the official naming convention used by upstream.
* debian/copyright:
- Update the copyright period.
-- Jeroen Keiren <email address hidden> Thu, 16 Feb 2012 15:24:08 +0100
Upload details
- Uploaded by:
- Paul van Tilburg
- Uploaded to:
- Sid
- Original maintainer:
- Paul van Tilburg
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| mcrl2_201202.0-1.dsc | 1.4 KiB | dca1d4cd0a05fa906b5daf9d98dcbe8957b703f55f1dc546ec1e93fefd8d3405 |
| mcrl2_201202.0.orig.tar.gz | 8.4 MiB | 5c49b6882e1947fd5dddda5e14aba9aff56bfae75cb8182565dba6cba291d07f |
| mcrl2_201202.0-1.debian.tar.gz | 6.5 KiB | 6bec5e644a287529bb9e8f72db750b662d732a11e555748b1f33e4a10f9012c1 |
No changes file available.
