mcrl2 201007~rc1-1 source package in Ubuntu
Changelog
mcrl2 (201007~rc1-1) unstable; urgency=low
* New upstream release; using this release candidate for Squeeze
as recommended by upstream.
* debian/control:
- Bumped standards version to 3.9.1; no changes required.
* debian/copyright:
- Inserted the BSD license verbatim instead of pointing to
/usr/share/common-licenses/BSD which is soon to be removed.
* debian/menu:
- Replaced menu item for SQuADT by one for mCRL2 GUI.
* debian/rules:
- Added MCRL2_ suffixes to the build flags because this has been
changed upstream.
-- Ubuntu Archive Auto-Sync <email address hidden> Fri, 15 Oct 2010 09:45:20 +0000
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Natty
- 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_201007~rc1.orig.tar.gz | 5.1 MiB | 7d367fee7ece35e778efa0897215ceebbc270a73bde17c6322d6619d83152f1b |
| mcrl2_201007~rc1-1.debian.tar.gz | 6.0 KiB | 59a609a5367c64c5d04788c1277baa677b3c3963ed90882296b32bab8b75ebc1 |
| mcrl2_201007~rc1-1.dsc | 1.5 KiB | 38442ab613eee4283611e27121f31081cbba1afe7e34119a1a182699f9fb785e |
Available diffs
- diff from 201001+svn7611-1 to 201007~rc1-1 (642.9 KiB)
Binary packages built by this source
- mcrl2: No summary available for mcrl2 in ubuntu natty.
No description available for mcrl2 in ubuntu natty.
