lp:ubuntu/oneiric/mcrl2

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

6. By Paul van Tilburg on 2011-07-18

* New upstream release (closes: #625156).
* debian/control:
  - Bumped standards version to 3.9.2.
  - Removed the initial "the mCRL2" from the description.
  - Added a build depend on libgl2ps-dev.
* debian/patches:
  - Removed fix_manpage_generation.patch; fixed upstream.
  - Added lintian_fixes.patch to resolve some lintian issues.
* debian/rules;
  - Added targets build-arch and build-indep to comply with (future)
    policy.

5. By Paul van Tilburg on 2011-03-25

* New upstream release (closes: #615678).
* Upload to unstable.
* debian/patches:
  - Added fix_manpage_generation.patch to fix macro errors in
    some man pages (fix from rev. 9060).
* debian/rules:
  - Do man-page generation the right way (enabled MCRL2_MAN_PAGES).
* debian/watch:
  - Changed the .bz2 suffix into .gz.

4. By Paul van Tilburg on 2010-08-03

* New upstream release; using this release candidate for Squeeze
  as recommended by upstream.
* debian/control:
  - Bumped standards version to 3.9.1; no changes required.
* debian/copyright:
  - Inserted the BSD license verbatim instead of pointing to
    /usr/share/common-licenses/BSD which is soon to be removed.
* debian/menu:
  - Replaced menu item for SQuADT by one for mCRL2 GUI.
* debian/rules:
  - Added MCRL2_ suffixes to the build flags because this has been
    changed upstream.

3. By Paul van Tilburg on 2010-04-11

* 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).

2. By Paul van Tilburg on 2010-02-16

* Initial release (Closes: #460885).
* Use a pruned upstream tarball to avoid (a lot of) source duplication by
  removing 3rd-party/boost.

1. By Paul van Tilburg on 2010-02-16

Import upstream version 201001