Back to maria PTS page

Accepted maria 1.3.5-1 (source i386 all)



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

Format: 1.7
Date: Mon,  8 Aug 2005 12:32:36 +0200
Source: maria
Binary: maria-doc maria
Architecture: source i386 all
Version: 1.3.5-1
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
Changes: 
 maria (1.3.5-1) unstable; urgency=low
 .
   * New upstream release.
   * Desactivated patch 03gcc40, seems to be fixed by upstream.
   * Install upstream NEWS file as /usr/share/doc/*/changelog.
Files: 
 7d973aebff4626e85337e96e711c2a6c 666 math optional maria_1.3.5-1.dsc
 8c294f15551ff2b4dbce69371f4c10cb 594767 math optional maria_1.3.5.orig.tar.gz
 907783a69e35b8c3e52af082cda5446b 6324 math optional maria_1.3.5-1.diff.gz
 2552e191503fad4ccace19906e81dcb6 145778 doc optional maria-doc_1.3.5-1_all.deb
 01ce1ba67f6acb992d2e8b5af33c05fc 407278 math optional maria_1.3.5-1_i386.deb

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

iD8DBQFC9zZgtzWmSeC6BMERAknaAKDah8BnuBs+21s5XAp1aNjkGHVOAgCgkvo5
C+OqqKiliYhSjXTM1dqCHOo=
=3Vky
-----END PGP SIGNATURE-----


Accepted:
maria-doc_1.3.5-1_all.deb
  to pool/main/m/maria/maria-doc_1.3.5-1_all.deb
maria_1.3.5-1.diff.gz
  to pool/main/m/maria/maria_1.3.5-1.diff.gz
maria_1.3.5-1.dsc
  to pool/main/m/maria/maria_1.3.5-1.dsc
maria_1.3.5-1_i386.deb
  to pool/main/m/maria/maria_1.3.5-1_i386.deb
maria_1.3.5.orig.tar.gz
  to pool/main/m/maria/maria_1.3.5.orig.tar.gz


-- 
To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org