Accepted mcrl2 201210.1-1 (source amd64)

2012-10-31 Thread Jeroen Keiren
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 26 Oct 2012 07:50:49 +0200 Source: mcrl2 Binary: mcrl2 Architecture: source amd64 Version: 201210.1-1 Distribution: unstable Urgency: low Maintainer: Jeroen Keiren jkei...@win.tue.nl Changed-By: Jeroen Keiren jkei...@win.tue.nl

Accepted mcrl2 201202.0-1 (source amd64)

2012-02-23 Thread Jeroen Keiren
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 16 Feb 2012 15:24:08 +0100 Source: mcrl2 Binary: mcrl2 Architecture: source amd64 Version: 201202.0-1 Distribution: unstable Urgency: low Maintainer: Paul van Tilburg pau...@debian.org Changed-By: Jeroen Keiren jkei