Ubuntu
mcrl2 package

mcrl2 201001+svn7611-1 source package in Ubuntu

Changelog

mcrl2 (201001+svn7611-1) unstable; urgency=low

  * New SVN snapshot upload:
    - Features renaming of sim and xsim to lpssim and lpsxsim 
      (closes: #573944).
    - Features renaming of grape to grapemcrl2 (closes: #573943).
    - Fixes documentation/examples install issue.
  * debian/control:
    - Changed build-depends to build against Boost 1.42.
      Closes: #573844, #577289.
  * debian/rules:
    - Removed documentation directory mkdir/mv/rmdir commands from the
      install target now that this is fixed upstream.
  * debian/source/format: Switched to source format 3.0 (quilt). 

mcrl2 (201001-1) unstable; urgency=low

  * Initial release (Closes: #460885).
  * Use a pruned upstream tarball to avoid (a lot of) source duplication by
    removing 3rd-party/boost.
 -- Ubuntu Archive Auto-Sync <email address hidden>   Tue,  25 May 2010 15:16:27 +0100

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Maverick
Original maintainer:
Paul van Tilburg
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
mcrl2_201001+svn7611.orig.tar.gz 4.6 MiB 1bcc26b9b2a32266e2ec85aacdee53e03c9153f96b45dd5c66f2240f1d682422
mcrl2_201001+svn7611-1.debian.tar.gz 5.2 KiB 978541891edb64aadf1c5839a9e3f29e377d39e4d054edf84ab9f491f6be8291
mcrl2_201001+svn7611-1.dsc 1.5 KiB f6d4d8426338b2b22e2c7a91db4e4f8ea61d9e6d107c4d5092eebb47b7f7ba80

View changes file

Binary packages built by this source

mcrl2: No summary available for mcrl2 in ubuntu natty.

No description available for mcrl2 in ubuntu natty.