Accepted maria 1.3.1-1 (i386 source all)
-----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 <treinen@debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
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
Reply to: