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
Description: 
 mcrl2  - formal specification language toolset
Changes: 
 mcrl2 (201210.1-1) unstable; urgency=low
 .
   [ Jeroen Keiren ]
   * New upstream (bugfix) release.
Checksums-Sha1: 
 76439d502ff804500cc453bcb48ecc7c44c331ef 1407 mcrl2_201210.1-1.dsc
 00f27e63d61bec506c2a97422834618ef33ac338 8218004 mcrl2_201210.1.orig.tar.gz
 97348447229fffd44f0b0db5c34206062d9fad2e 6955 mcrl2_201210.1-1.debian.tar.gz
 9c7a189fc1996d71a33bffdc5e7cf860eef178ac 13269838 mcrl2_201210.1-1_amd64.deb
Checksums-Sha256: 
 0953c557f4dba66c2d6856091d4b50689e392e79b90da6122b4f6150b73d1efc 1407 
mcrl2_201210.1-1.dsc
 52a29a2dc7360459ae2cc20124f41b1ad25e4f9edcc8d38a0464b6d481031cb4 8218004 
mcrl2_201210.1.orig.tar.gz
 c725c5c3a24ca3f56f7d9c57503de4011d829f0fc590852906e4eabb5369742e 6955 
mcrl2_201210.1-1.debian.tar.gz
 792df460ac6064128365da5451bfa820d76c70515b35397e490b6ad3b1f605f1 13269838 
mcrl2_201210.1-1_amd64.deb
Files: 
 8c4cea0728c305b013278a9a49abe7c2 1407 math extra mcrl2_201210.1-1.dsc
 b4bffa70ba40a087fa04f0f9aa066f86 8218004 math extra mcrl2_201210.1.orig.tar.gz
 81a66fc0ef11b4e22bd7b5387f8d24c0 6955 math extra mcrl2_201210.1-1.debian.tar.gz
 00653cd4a841359ba66cb9f4b55dc675 13269838 math extra mcrl2_201210.1-1_amd64.deb

-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEARECAAYFAlCRdJwACgkQJBBhylAGQYEbMACgkZAbw9dDMgs+eTCelC0dWrGL
1yUAnisxOux5RYx6+YKnpbehFNRCzu/P
=d64d
-END PGP SIGNATURE-


-- 
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/e1ttdny-0003yx...@franck.debian.org

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...@win.tue.nl
Description: 
 mcrl2  - formal specification language toolset
Changes: 
 mcrl2 (201202.0-1) unstable; urgency=low
 .
   * New upstream release.
   * debian/patches/series,
 debian/patches/lintian_fixes.patch:
 - Dropped because it has been incorporated upstream.
   * debian/rules:
 - Set MCRL2_PACKAGE_RELEASE, which is required by upstream for
   proper version numbering.
   * debian/watch:
 - Update to the official naming convention used by upstream.
   * debian/copyright:
 - Update the copyright period.
Checksums-Sha1: 
 82a4027ea3edb9b74176f9e9518f15969876f5ad 1432 mcrl2_201202.0-1.dsc
 2b687fce0f73498643d9fab0ee9090505d74d4ee 8809442 mcrl2_201202.0.orig.tar.gz
 1b76d983cdb03def4bb2f2e653706a2973bf510a 6650 mcrl2_201202.0-1.debian.tar.gz
 67ca327fb2039556e657c8e11f2e6cc6189b279d 12838104 mcrl2_201202.0-1_amd64.deb
Checksums-Sha256: 
 dca1d4cd0a05fa906b5daf9d98dcbe8957b703f55f1dc546ec1e93fefd8d3405 1432 
mcrl2_201202.0-1.dsc
 5c49b6882e1947fd5a5e14aba9aff56bfae75cb8182565dba6cba291d07f 8809442 
mcrl2_201202.0.orig.tar.gz
 6bec5e644a287529bb9e8f72db750b662d732a11e555748b1f33e4a10f9012c1 6650 
mcrl2_201202.0-1.debian.tar.gz
 c16917b1897e5c409077621b786ac0f082ff388b0af3c851f5332e7ef2ce0f3b 12838104 
mcrl2_201202.0-1_amd64.deb
Files: 
 c67cb7b361887eae69a732d383423d70 1432 math extra mcrl2_201202.0-1.dsc
 0daef61cbe0621397d7b7971dc38788a 8809442 math extra mcrl2_201202.0.orig.tar.gz
 780babd02e7b6f967d6957fb00407829 6650 math extra mcrl2_201202.0-1.debian.tar.gz
 e76cdac45ae4acd2540e5d300d2bb712 12838104 math extra mcrl2_201202.0-1_amd64.deb

-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAk9GbR8ACgkQJBBhylAGQYE97wCfUt+3FXAiplhn0kila//uNLL1
L+gAn1FD6XrLySTLA+PGzG8+8jKOYw5F
=ZVKl
-END PGP SIGNATURE-


Accepted:
mcrl2_201202.0-1.debian.tar.gz
  to main/m/mcrl2/mcrl2_201202.0-1.debian.tar.gz
mcrl2_201202.0-1.dsc
  to main/m/mcrl2/mcrl2_201202.0-1.dsc
mcrl2_201202.0-1_amd64.deb
  to main/m/mcrl2/mcrl2_201202.0-1_amd64.deb
mcrl2_201202.0.orig.tar.gz
  to main/m/mcrl2/mcrl2_201202.0.orig.tar.gz


-- 
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/e1s0c4k-0002ky...@franck.debian.org