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

Format: 3.0 (quilt)
Source: maude
Binary: maude
Architecture: any
Version: 3.1-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: 4.5.1
Vcs-Browser: https://salsa.debian.org/med-team/maude
Vcs-Git: https://salsa.debian.org/med-team/maude.git
Build-Depends: debhelper-compat (= 13), libtecla-dev, libbdd-dev, libgmp3-dev, libsigsegv-dev, bison, flex, libncurses5-dev, libcvc4-dev
Package-List:
 maude deb science optional arch=any
Checksums-Sha1:
 86b2be3c14928b53537f5b7364e34d92544e618f 2335693 maude_3.1.orig.tar.gz
 8e1feb0ad9d23cd4be0ecac8b07cc9e6a92295df 6792 maude_3.1-2.debian.tar.xz
Checksums-Sha256:
 b112d7843f65217e3b5a9d40461698ef8dab7cbbe830af21216dfb924dc88a2f 2335693 maude_3.1.orig.tar.gz
 1cd6c6aa01417c8263564bb548a7e14684fab0dc2444215910e112f334e55962 6792 maude_3.1-2.debian.tar.xz
Files:
 bd1a5cc6f3a88c916e092143c4eb9dea 2335693 maude_3.1.orig.tar.gz
 d87fa188c634bbe1c45bb7bd2e502605 6792 maude_3.1-2.debian.tar.xz

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

iQJIBAEBCgAyFiEEPpmlJvXcwMu/HO6mALrnSzQzafEFAl/Y5hIUHG5wYXRyYTk3
NEBnbWFpbC5jb20ACgkQALrnSzQzafH/DQ/+JqPYnACDcdQSF9H0Mc61NrSJKnOq
+uaDOrZscxpCRZwr8z7Ud4pbEW9FPd5CRKw/Hn4dQULSD2t5j0C9omrd1AUTIxPw
cWqrG/BNrvqRz5QJeCQT0e5GWkRyfwXd5cvEToQFaZRleibiF73l8wwYPoKMPndh
bvb257ZQEepJEdsrtoItKCRw5zo2VIVyKJF2VskcDBDJx6SCT2S333JNxiqcBVC8
V6csg/t+96EXlYzjhirBp6FdgULmKn7XYQReiO8ZfS3MANq6QfsiGb+EsoZIC4h6
Vknm7xZJRHasJwxXMq2Ofleq65kxVd4vr5T5yNB80WQkQ7hF1qrx8DOUM+03zHNw
J3UxTdlEri1JM6NYfFRFnlDPE3pzdNUQKdyDgfGjRo0Ic5FoagwfiI+N+xvtqYIH
1rUA3lshOPZj7dTHhZ3OfuxNDR0m3C6vR99CyEheuhtPjU3r+HDkKgnKS/Rr/Zq2
7s1dNQvv5BdN97RL79PdZzdIcmbMg73VrFkPs1juRcOVFdbv6nNOOu+xO/AqMeSS
oiZE3SrnPvuiZYgODUy+npd+yVahYEomiavNHLV0aDFhg2tebcxcVwTZA9hARx4B
EvqL6AlqufobnpvVrRSWAlD7DXLTAzfXuQEQz8FOUAn3Cb/ct8WB03LL+o0DxLml
db3RusOajZIGJQs=
=qgQE
-----END PGP SIGNATURE-----