-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 03 Aug 2010 12:49:57 +0200
Source: mcrl2
Binary: mcrl2
Architecture: source amd64
Version: 201007~rc1-1
Distribution: unstable
Urgency: low
Maintainer: Paul van Tilburg <paulvt@debian.org>
Changed-By: Paul van Tilburg <paulvt@debian.org>
Description:
mcrl2 - the mCRL2 formal specification language toolset
Changes:
mcrl2 (201007~rc1-1) unstable; urgency=low
.
* 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.
Checksums-Sha1:
1986e7757f060c30b3a2756d81b0bdff1e287a24 1485 mcrl2_201007~rc1-1.dsc
0f9d329adbc2449703c735c613018d1f9e4ae015 5342487 mcrl2_201007~rc1.orig.tar.gz
50193e50a5eec110242a4bb34b21cff45a9c1285 6175 mcrl2_201007~rc1-1.debian.tar.gz
3bab552e5c0d615eaca69ca8aeffbb08620980a0 13991804 mcrl2_201007~rc1-1_amd64.deb
Checksums-Sha256:
38442ab613eee4283611e27121f31081cbba1afe7e34119a1a182699f9fb785e 1485 mcrl2_201007~rc1-1.dsc
7d367fee7ece35e778efa0897215ceebbc270a73bde17c6322d6619d83152f1b 5342487 mcrl2_201007~rc1.orig.tar.gz
59a609a5367c64c5d04788c1277baa677b3c3963ed90882296b32bab8b75ebc1 6175 mcrl2_201007~rc1-1.debian.tar.gz
5ed25da1722f1435375f98941fd24e7080d8d6a275c280d2a4398fca9e08d1a0 13991804 mcrl2_201007~rc1-1_amd64.deb
Files:
d98b998f4efb013c63cb14c151caf5a3 1485 math extra mcrl2_201007~rc1-1.dsc
f912aad5b453276fb9f71e23c18bf42d 5342487 math extra mcrl2_201007~rc1.orig.tar.gz
97d9993142ea1a2b2bf1ce44c8f2e7f3 6175 math extra mcrl2_201007~rc1-1.debian.tar.gz
56425178fa7da88d79f70048f335d3cf 13991804 math extra mcrl2_201007~rc1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkxYiaUACgkQJBBhylAGQYEc9gCfUGuag7dzTes4Ttk5wFhOCXkh
Tt8AoIyroGBFy1xiCmSzl973ivtYiumI
=eAiY
-----END PGP SIGNATURE-----
Accepted:
mcrl2_201007~rc1-1.debian.tar.gz
to main/m/mcrl2/mcrl2_201007~rc1-1.debian.tar.gz
mcrl2_201007~rc1-1.dsc
to main/m/mcrl2/mcrl2_201007~rc1-1.dsc
mcrl2_201007~rc1-1_amd64.deb
to main/m/mcrl2/mcrl2_201007~rc1-1_amd64.deb
mcrl2_201007~rc1.orig.tar.gz
to main/m/mcrl2/mcrl2_201007~rc1.orig.tar.gz
