Ubuntu
mcrl2 package

mcrl2 201202.0-2 source package in Ubuntu

Changelog

mcrl2 (201202.0-2) unstable; urgency=low


  [ Jeroen Keiren ]
  * Bugfix upload (closes: #661092).
  * debian/patches/series,
    debian/patches/dparser_header_fixes.patch:
    - Install headers belonging to dparser in their own directory.

  [ Paul van Tilburg ]
  * debian/control:
    - Changed myself to uploaded, made Jeroen maintainer. 
    - Bumped standards version to 3.9.3. 

 -- Paul van Tilburg <email address hidden>  Fri, 24 Feb 2012 16:16:02 +0100

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_201202.0-2.dsc 1.4 KiB 7f13109d9ec03af9ffa1b0aeabb7f1f9e3e5416d5ae4d4f563aaa5d656604b5f
mcrl2_201202.0.orig.tar.gz 8.4 MiB 5c49b6882e1947fd5dddda5e14aba9aff56bfae75cb8182565dba6cba291d07f
mcrl2_201202.0-2.debian.tar.gz 6.8 KiB 461eae62657e4d2167fb7e9793578065203ce1d4f972f71c9492b82139cff2ff

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.