mcrl2 201210.1-1 source package in Ubuntu
Changelog
mcrl2 (201210.1-1) unstable; urgency=low [ Jeroen Keiren ] * New upstream (bugfix) release. -- Jeroen Keiren <email address hidden> Fri, 26 Oct 2012 07:50:49 +0200
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_201210.1-1.dsc | 1.4 KiB | 0953c557f4dba66c2d6856091d4b50689e392e79b90da6122b4f6150b73d1efc |
mcrl2_201210.1.orig.tar.gz | 7.8 MiB | 52a29a2dc7360459ae2cc20124f41b1ad25e4f9edcc8d38a0464b6d481031cb4 |
mcrl2_201210.1-1.debian.tar.gz | 6.8 KiB | c725c5c3a24ca3f56f7d9c57503de4011d829f0fc590852906e4eabb5369742e |
Available diffs
- diff from 201210.0-1 to 201210.1-1 (9.5 KiB)
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.