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

Format: 3.0 (quilt)
Source: maude
Binary: maude
Architecture: any
Version: 2.7-2
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
 9bfd10cae003ab253fe1c1db65a379471a1c7472 6736 maude_2.7-2.debian.tar.xz
Checksums-Sha256:
 f5da81556c3180aee6a9cf4cef2f0b9bb2ff3b7fcc7bb103cb4ac3f5770b2b89 1663708 maude_2.7.orig.tar.gz
 96c7c7a8998ad199cbb87b3bcece2ee191a4b5969061173359cabe6c8965b6be 6736 maude_2.7-2.debian.tar.xz
Files:
 95a4e744d5032d7839181c714e6cf8cb 1663708 maude_2.7.orig.tar.gz
 a251a737c7d0b0e8992fc51f7b2409c8 6736 maude_2.7-2.debian.tar.xz

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

iQIcBAEBCAAGBQJXA3z3AAoJEFeKBJTRxkbRBoQQAJZOlc/7N/IHYUlVnAHqpXa0
Bnrxa+mGvOwBKndNccTDkqWPV9z97w4EriEfPEp70SdQZYdAMXVsEWB0tKX+gjGp
0nvaYKaZjK9ewdNBMhBU974ub1/aWYtllJ9tzQ4CKTEX6SdCxK8AKHg+hdI1cLaB
axGWua/ECk+HYOTogW/rDctOzy3jlnsGbCi4M/FbyKnYSjBSq4j4nE8Qa0IyXdOk
fN49pDIPmjohfCs5Jb8gTGfwgBsiWyM1pH9A2YBeiSgnwDbPtydyQQCC6ujFfwA/
RjoOGgDG7B91WZPIqQHzkd0NLqXrCOFebBhgT3nPslWJxOkt1ycvAUrB8fOJKs4z
rPmwCS49aLaHJ+QCAWvmitrKshjn2RKMHuDgQfWv3Y/urmpOopJf8hfiV2xhzGpH
mhRbzBQd4hPV/9ZH8r/WFHeD596VCgYX3gYTgXgTQvsFmTPAoSywaplLSYscKUd4
pPOQDdtj4k6kYfD3ByPy17vam5yB4BJj6SzOyB/bK7Gbx4tua4wmOHCPWV2AnljX
RmPgUpxxxpsUI2D/JGxdaDBvV491Tqugj2BbgcLsiNquEVMG2HPnAW6QwyvqSJKp
u/abD9JoU0M8qk3buQu/F3BHwEiVTlK3zf3/gU+VeoRnZ4STKm2N8oKqBr3o0q7F
b9AwTZMLXctcIqPy/JKu
=Tt7A
-----END PGP SIGNATURE-----