-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Thu, 21 Nov 2002 20:57:19 +0100 Source: maria Binary: maria-doc maria-vis maria Architecture: source i386 all Version: 1.3.1-1 Distribution: unstable Urgency: low Maintainer: Ralf Treinen <[EMAIL PROTECTED]> Changed-By: Ralf Treinen <[EMAIL PROTECTED]> Description: maria - Reachability analyzer for Algebraic System Nets maria-doc - Documentation of Maria maria-vis - Interface between Maria and Graphviz Closes: 146320 Changes: maria (1.3.1-1) unstable; urgency=low . * New upstream release, and first version actually uploaded to unstable (closes: Bug#146320). * Standards-Version: 3.5.8. * debian/copyright: corrected email address of upstream author. * debian/copyright: the maria-vis script is now in the public domain. * debian/rules: change value of EXDIR, since Makefile uses it relativ to the value of DESTDIR. * debian/rules: pass debug and noopt option to make. * Makefile.Linux: /usr/local/{lib,include} -> /usr/{lib,include} * Makefile.Linux: add a COPTFLAGS variable, to pass optimization flags to the makefile. Files: fdb6581e45c6afe9a2750291b04bd219 664 math optional maria_1.3.1-1.dsc c4de8f7afd6ee392cfa2f99f088d7dfe 555543 math optional maria_1.3.1.orig.tar.gz 68aeed2a92433e9f1d87b4cf66dcb759 22142 math optional maria_1.3.1-1.diff.gz 9e86987d210d5ff06dc69f120fc1c40a 5000 contrib/math optional maria-vis_1.3.1-1_all.deb 2e9f1fcc788d57e2cfc0196f6ffa32cc 146172 doc optional maria-doc_1.3.1-1_all.deb 026de49b8f1d63ed8a1e68dd9c2d285a 409932 math optional maria_1.3.1-1_i386.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.1 (GNU/Linux) iD8DBQE93T2DtzWmSeC6BMERAiKCAJ9qt7mU+n74QZWACP/ByqsZN0DLtgCggzU1 0h3AvF8w/M71/qjVV3eCFnY= =MuAy -----END PGP SIGNATURE----- Accepted: maria-doc_1.3.1-1_all.deb to pool/main/m/maria/maria-doc_1.3.1-1_all.deb maria-vis_1.3.1-1_all.deb to pool/contrib/m/maria/maria-vis_1.3.1-1_all.deb maria_1.3.1-1.diff.gz to pool/main/m/maria/maria_1.3.1-1.diff.gz maria_1.3.1-1.dsc to pool/main/m/maria/maria_1.3.1-1.dsc maria_1.3.1-1_i386.deb to pool/main/m/maria/maria_1.3.1-1_i386.deb maria_1.3.1.orig.tar.gz to pool/main/m/maria/maria_1.3.1.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]