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

Format: 3.0 (quilt)
Source: maude
Binary: maude
Architecture: any
Version: 2.7-2build2
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
 c7ebf2b805647f6d6606d97a6120b171d73bee0e 6840 maude_2.7-2build2.debian.tar.xz
Checksums-Sha256:
 f5da81556c3180aee6a9cf4cef2f0b9bb2ff3b7fcc7bb103cb4ac3f5770b2b89 1663708 maude_2.7.orig.tar.gz
 c5965b8216aafe3dfa66f73086d365b4d7f9f176b93c5684a5d12e639bdc6b55 6840 maude_2.7-2build2.debian.tar.xz
Files:
 95a4e744d5032d7839181c714e6cf8cb 1663708 maude_2.7.orig.tar.gz
 6d3ddc7b72353a1baabdc281a684af78 6840 maude_2.7-2build2.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl53kZgQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9cO0EACvyZWXSC4KVQB8/+bydJ/+rhkqj0xG+wp1
Xd/vqZ+gSAwi8pijCYs9riyT3lGTOiHYksGzS+MZ18VoxzVaHBD+C0tLGg5kmWrK
RKNZ7jL+AuFthNJ+Qnkq9LVk1vdQiparNkVEM7FUA+ngSPWhfyBZLvzfjENXIGBk
KuWro8Du7g1Q/9FqaAsF66xMRQMTx8auaZJRIUwZKiMXXZ1unCAT1gPj6Dr0tadN
bFc1anPpwNBsJjr6rN7mGmKAgarx2G1lfvKIgPdLx2o9VAier4blGu+2gmz/wFNN
KmWjo/O/cX2UoQTnSD0e3IOrK/dRJTBE4QpxOOXbsOwf5T/DLFh64wMuOhmdDqA5
tjj9MO0o/sZdn+ahBEXV2y6rZwhv9qrtr0Zexk22MbE+d2PpUhCKko+qivTvxA+H
QOQej+gmXAzTex4xDxyRv0qF/BDct4RxhB05Lvpie2m9+wgp5iKih+1ox1HltDg9
ep087pVwSp0vfLrqSlDzCW3ymzgThToUtnZE+T4I4z79NHSguEpzQkQio9Wz4EL6
jo17tEsTznV1B16iNhiU3isplEJRJimWc5fcKyQN5ezZFaHAC8lJI6O5CO3BDs+v
TrN/qGdSuoWANn2LFvxKB4IRWqvWgtlgOg5bPHzwhvOCpZwnLkdpq/NwGOlUUxw2
tFTMZB128A==
=YmpY
-----END PGP SIGNATURE-----