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 | 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
- diff from 201007~rc1-1 to 201103-1 (3.1 MiB)
