-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: maude
Binary: maude
Architecture: any
Version: 2.7-1
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.6
Vcs-Browser: http://anonscm.debian.org/viewvc/debian-med/trunk/packages/maude/trunk/
Vcs-Svn: svn://anonscm.debian.org/debian-med/trunk/packages/maude/trunk/
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
 aab52eff6eade1b5cdf734cb37194368e95a6f85 6428 maude_2.7-1.debian.tar.xz
Checksums-Sha256:
 f5da81556c3180aee6a9cf4cef2f0b9bb2ff3b7fcc7bb103cb4ac3f5770b2b89 1663708 maude_2.7.orig.tar.gz
 81975d21cff334f4aaf822f348edbbfbc39dc8ebdb5390fb3dabdac4d096504e 6428 maude_2.7-1.debian.tar.xz
Files:
 95a4e744d5032d7839181c714e6cf8cb 1663708 maude_2.7.orig.tar.gz
 17fd6e57c87650f7b44a244f10065783 6428 maude_2.7-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJWcd9aAAoJEFeKBJTRxkbRleMP/iWZjDbVzsyYn5PXB2/EsDqM
v70WgXgjpPCeZ3kc45IsztLREnjLjShK8wHX6qF0eMGjCALqyYOhLMTzKqO3uDfS
6rfocQt/9yBtJjLuUS+b+NwpdPOd9NayHLTAig2RqyVjHeCNZAKx2lhJVasB9fZK
DZQrznvOIsTfXw5tBgI9i1YueVSDQhyg2uOti5ekwgQO4hNKRxiAxPSyr42P9V0M
aibIz66FIsbWjzDg87L7mjHJyLYuDndjWGgPcW+HPdsyGYFnQB/R/MlEE6/M2edx
oJNlArgl79y270+XLyrftEmH3Z55OfyDxIzL9ubJczWbzeeNCL+nQdYgFOGOwFfB
mrR2FcbWAav3ON+7fbZXcchF50OTNSWjHOgbJeJduswq7Az33lAlbPsYoyb0C8KW
VAGYkB5p4xtNaq2GlZef9VgA7trn6BKsRawh/2jOTrsKnIpj0Vtpzi2QG1NoiRYM
YFPrU6ldgqOzBdJmH1/dPngOZMRzaqypH6rZd7Sehyw6zekGS4PxkTqHS8iMo2hG
G2j8uZ/lNoDtXCAiGQZ06MeyiBAvUM8Zxjh/QslehFB5E+RKKGjk45PeYiwpccl4
3qQQMy5NV8JNmHF2ZlAYgfKtJFi82I5IOjjtHsX/CzmLvWOEfaEOJya0rR9vhbLL
W71b2Iy8+iPpwIabrGSP
=bxln
-----END PGP SIGNATURE-----