Back to maria PTS page

Accepted maria 1.3.5-3 (source all amd64)



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

Format: 1.8
Date: Tue, 03 May 2011 07:13:20 +0200
Source: maria
Binary: maria maria-doc
Architecture: source all amd64
Version: 1.3.5-3
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <treinen@debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 maria      - reachability analyzer for Algebraic System Nets
 maria-doc  - documentation of Maria
Closes: 624926
Changes: 
 maria (1.3.5-3) unstable; urgency=low
 .
   * Patch gcc4.6: add missing #includes to fix FTBFS with gcc4.6
     (closes: #624926).
   * Standards-Version 3.9.2 (no change)
Checksums-Sha1: 
 42ce3daa229d5e262312d0cf539e228f8e41cb4e 1100 maria_1.3.5-3.dsc
 13f734d5ebbd85ec4a2d4bea60117babeec67102 7333 maria_1.3.5-3.debian.tar.gz
 473e7d6c3a71547e06bf487752f907e321f809dc 153096 maria-doc_1.3.5-3_all.deb
 13e60416db88a058dfc315811004cf56f45ed6f3 439642 maria_1.3.5-3_amd64.deb
Checksums-Sha256: 
 f519cf050ad58f758af12668a1de8ad1b876d45ad97d8180347719ee58c59451 1100 maria_1.3.5-3.dsc
 a9c8449c56d291f3f8a469aeba7c05db6d0ef05062836e604cfa2b6288180fff 7333 maria_1.3.5-3.debian.tar.gz
 56713f19299f5d2d01ea3047d21daf147110a648780c870a90937f6d1b03cb1d 153096 maria-doc_1.3.5-3_all.deb
 47ff1fb760076efc322081f8442bce0c04df0ebe7783740628cff5ad7d02330d 439642 maria_1.3.5-3_amd64.deb
Files: 
 f620506d676a341e2dfb442c80e51cb5 1100 math optional maria_1.3.5-3.dsc
 77006d7ba1df81d856a3cf241278f017 7333 math optional maria_1.3.5-3.debian.tar.gz
 fe232e286ec364bc9460db40c87573cd 153096 doc optional maria-doc_1.3.5-3_all.deb
 bd6fd398da2ae03ed594caf3af4b2956 439642 math optional maria_1.3.5-3_amd64.deb

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

iEYEARECAAYFAk2/kvIACgkQtzWmSeC6BMElqQCgsQ7Nl1ZHbBwrMIyHF5WQCWS3
mOwAn3WwFsS9a7iAhrj4iJHEhyAPKfRC
=HSyK
-----END PGP SIGNATURE-----


Accepted:
maria-doc_1.3.5-3_all.deb
  to main/m/maria/maria-doc_1.3.5-3_all.deb
maria_1.3.5-3.debian.tar.gz
  to main/m/maria/maria_1.3.5-3.debian.tar.gz
maria_1.3.5-3.dsc
  to main/m/maria/maria_1.3.5-3.dsc
maria_1.3.5-3_amd64.deb
  to main/m/maria/maria_1.3.5-3_amd64.deb