-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 12 Oct 2012 11:35:41 +0200
Source: mcrl2
Binary: mcrl2
Architecture: source amd64
Version: 201210.0-1
Distribution: unstable
Urgency: low
Maintainer: Jeroen Keiren <jkeiren@win.tue.nl>
Changed-By: Paul van Tilburg <paulvt@debian.org>
Description:
mcrl2 - formal specification language toolset
Changes:
mcrl2 (201210.0-1) unstable; urgency=low
.
[ Jeroen Keiren ]
* New upstream release.
* debian/control:
- Removed wxWidgets dependencies
- Removed dependencies to all boost libraries except boost-system
- Added qt dependencies
* debian/rules:
- Removed reference to wxSTC
* debian/patches/series,
debian/patches/dparser_header_fixes.patch:
- Removed patch that was incorporated upstream
.
[ Paul van Tilburg ]
* Upload to Debian unstable
Checksums-Sha1:
5c7826919601cc453c3735a70a3598a69a57d4b1 1407 mcrl2_201210.0-1.dsc
46a4604709cfd0e687f1b7fced21fa86cd67eabc 8217549 mcrl2_201210.0.orig.tar.gz
5412a74919af46e322fe4c7b92ff120f438086a1 6943 mcrl2_201210.0-1.debian.tar.gz
c9f8935d8be6b7588199c8876c585e1bc676aa13 13272442 mcrl2_201210.0-1_amd64.deb
Checksums-Sha256:
383569479225f969967b4c7bcd3229632241b2f128b4271f3fc0c2d5f030a794 1407 mcrl2_201210.0-1.dsc
10ca3b09a8aaa60752a373384a1af6c18e15eee1b8e78001c1bdfa47794c643e 8217549 mcrl2_201210.0.orig.tar.gz
f91ff95a4d8d0631e6f95ed983a93b775b77e11ab3fd2d4022d81ddf4750b5d1 6943 mcrl2_201210.0-1.debian.tar.gz
af5bf24e8540fedea4c3857a38ce5fcd2459fadb589225c420e5f770d5342b4e 13272442 mcrl2_201210.0-1_amd64.deb
Files:
98b50b2652ab800938e278abf69a3cb4 1407 math extra mcrl2_201210.0-1.dsc
1eece4df51e8d35408e743bdc5247c68 8217549 math extra mcrl2_201210.0.orig.tar.gz
914114bbc6ab6b54d48befbc27d4d321 6943 math extra mcrl2_201210.0-1.debian.tar.gz
415dddb33b55795ac4e432bebc2f73fd 13272442 math extra mcrl2_201210.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlB378QACgkQJBBhylAGQYGDnACfe+zRey5Y8DDyFjXX1wq3fr8h
QP0AoJjYLdd2UXFyKiDnagFW40LsBHWn
=ObJX
-----END PGP SIGNATURE-----
