Ubuntu
mcrl2 package

mcrl2 201210.0-1 source package in Ubuntu

Changelog

mcrl2 (201210.0-1) unstable; urgency=low


  [ Jeroen Keiren ]
  * New upstream release.
  * debian/control:
    - Removed wxWidgets dependencies
    - Removed dependencies to all boost libraries except boost-system
    - Added qt dependencies
  * debian/rules:
    - Removed reference to wxSTC
  * debian/patches/series,
    debian/patches/dparser_header_fixes.patch:
    - Removed patch that was incorporated upstream

  [ Paul van Tilburg ]
  * Upload to Debian unstable

 -- Paul van Tilburg <email address hidden>  Fri, 12 Oct 2012 11:35:41 +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.0-1.dsc 1.4 KiB 383569479225f969967b4c7bcd3229632241b2f128b4271f3fc0c2d5f030a794
mcrl2_201210.0.orig.tar.gz 7.8 MiB 10ca3b09a8aaa60752a373384a1af6c18e15eee1b8e78001c1bdfa47794c643e
mcrl2_201210.0-1.debian.tar.gz 6.8 KiB f91ff95a4d8d0631e6f95ed983a93b775b77e11ab3fd2d4022d81ddf4750b5d1

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.