Ubuntu
mcrl2 package

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 Pocket 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

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.