Accepted mcrl2 201409.0-1b1 (source)

Philip Muškovac yofel at kubuntu.org
Tue Sep 1 08:17:52 EDT 2015


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 01 Sep 2015 11:53:47 +0000
Source: mcrl2
Binary: mcrl2
Architecture: source
Version: 201409.0-1b1
Distribution: staging
Urgency: high
Maintainer: Sjoerd Cranen <scranen at win.tue.nl>
Changed-By: Philip Muškovac <yofel at kubuntu.org>
Description:
 mcrl2      - formal specification language toolset
Changes:
 mcrl2 (201409.0-1b1) staging; urgency=high
 .
   * No-change rebuild against libstdc++6
Checksums-Sha1:
 e3f58470341bb4a711a39ea5936147c370f2028c 2044 mcrl2_201409.0-1b1.dsc
 e36215f3ddbea87631dd077543f0277b46b5a723 6720 mcrl2_201409.0-1b1.debian.tar.xz
Checksums-Sha256:
 02b90d86e965321f6647b3b173ba961014ba9f6b6f4bafa3d8b252efbcbfd9c1 2044 mcrl2_201409.0-1b1.dsc
 bdae08544bd2fca8ce4c2f35ce715906089d758f69012005ec601c64995348bd 6720 mcrl2_201409.0-1b1.debian.tar.xz
Files:
 e806ba7a9b6601ddaad17beb2befab35 2044 math extra mcrl2_201409.0-1b1.dsc
 035b207df45dc04825a61eb42886cdef 6720 math extra mcrl2_201409.0-1b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJV5ZHWAAoJEKBN28suwKn/96sP/3ytfso10fGnthjRze0y+ghP
ZWHnaSFiVY3Q4X+wayqZ9MqOGeIqPNGnjnQiw9GIWR2XZQ771WClz6Bwp+i8Ct9N
/Aaw4JY2AKc/NJ4IyPSOMv6CvbTHrP/46E344zclyLeEcT+xkSIDWCzJjf86z3SB
zrmldOiZz9+MTUXMXDIXsknKRyXIaOGLP0LuaRkKX/n1U4K9snLdQ+hNTX+Hx3fQ
1Kl0MvHRk4MPikFmWlgy0OzypA3iacyR4iR9Su1VVbw0+3EO1P79dw0rk9ttgTdE
qTCJU7cZPemgz2Ovg/INCM8ysU+c94cd/aezVQLPt5zCbh0cERSHbtlT3dRr9nCZ
5KamaqVuOkCMs0yu2pp+3F1j6YKE9Qt45w2JSYH5KD99z1pMaejKUmdUhHZVMTRU
WKRmZ4Hj3ac6r5CHZLLHCkXr0RGi98r5pdvu033L+dgovwFLOR7YdmysBWu1Fz0H
9fwopD8QQc39vumiAWX0mGCTenbnR7BjUsgmI4N+i1Q0jNMV1zhcamaSWjssEKNR
epvaxHbohEhH88hPxlCmU/m4Hb16caOUjhp0aV3DtuCMvcFkLogya209d/4x2pJt
t9zPj2S/yaX5mblIDXqdQppnYknMDHVsRoQrC/5BhsFYzISV+Df/mBev73A2Ulpg
ONJ0bQ1/XULWnEcHtOdJ
=fG9P
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list