-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: maude
Binary: maude
Architecture: any
Version: 2.7-2build1
Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Uploaders: Scott Christley <schristley@mac.com>, Andreas Tille <tille@debian.org>
Homepage: http://maude.cs.uiuc.edu
Standards-Version: 3.9.7
Vcs-Browser: https://anonscm.debian.org/cgit/debian-med/maude.git
Vcs-Git: https://anonscm.debian.org/git/debian-med/maude.git
Build-Depends: debhelper (>= 9), autotools-dev, libtecla-dev, libbdd-dev, libgmp3-dev, libsigsegv-dev, bison, flex (>= 2.5.36), libncurses5-dev
Package-List:
 maude deb science optional arch=any
Checksums-Sha1:
 9d73146e1a21b35f8ba46f069fc63f06c434a3ce 1663708 maude_2.7.orig.tar.gz
 8108b6523a432e829dbe5829a884a1d9e1d29157 6792 maude_2.7-2build1.debian.tar.xz
Checksums-Sha256:
 f5da81556c3180aee6a9cf4cef2f0b9bb2ff3b7fcc7bb103cb4ac3f5770b2b89 1663708 maude_2.7.orig.tar.gz
 030eb4a880a09bfbe9ec0dbc2ee947d743128e711b5bddd7be97aa3891ee39fa 6792 maude_2.7-2build1.debian.tar.xz
Files:
 95a4e744d5032d7839181c714e6cf8cb 1663708 maude_2.7.orig.tar.gz
 61aedca623a2ea0a6a2869803cd6ada7 6792 maude_2.7-2build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl1w7wsQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9WElEACZe5DXHRTxXabTEKJYiN6GzBKOmqpTVkJL
gNRp1gzRnup+7UuwF6+8rhvS1L1RrUFa3hIm5wpRrjXkpkvo+YPCWPCHs/IHAL0k
s/mYULyM/yuLk/3gjI93hWnDvSWn5dWkxBsKDl/K5vxZutnfYt8MKmtVT8kM19z/
vJOhIWcwbT0V1Acwc4QFYNIYVF1jUENYMvtLcgUO9bDtBQZqf/tHVJV9U8bFS8if
78au/dWjolS2W91Yq0/ZV7bqk5CZSqI9j9q3ZEDjIWZaaIAYorVJr4PflJ3H3nbq
+fs2iFRxeJioUEW8UROzXuZdntqr+NFZNSDGKRD+yaundbJmTHMR60MUG2mbk2vg
gbi5YThv3+Gm3UlzoirX1a7/5VT3UME/Xh5tcIQl12sv5BtCxsPCkPPfcFCPJ0NC
+aQmRCa1GGBmK+i0gfF6SxE56bPEiKziYPiWPzhRc9xCTxGia/0d/BTMYBDcCooM
cePbX8c1cs+POvlwhs4MFOoGThcEU4i6WEQCjRmCAp3q7uytHXJV/51/FfGCftdH
Fr7Q+4YT57Bpc63JsBTF4SqcPezgGbF/0eM9dKK5Z5jYK+tueLsjNxv7PG65tsru
WW9S4KYJhq26boYJpOAhhMXpM7fJMaqIYNYOA6p6Owy8xzvhB+8BKb/LBg7YhM89
4tQm70lR+Q==
=l2OO
-----END PGP SIGNATURE-----