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

Format: 3.0 (quilt)
Source: maude
Binary: maude
Architecture: any
Version: 3.4-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: 4.6.2
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, libncurses-dev, libcvc4-dev
Package-List:
 maude deb science optional arch=any
Checksums-Sha1:
 fdd386d89b978a5193aacde26dd6cf883d1f360a 2660916 maude_3.4.orig.tar.gz
 097237c3d76b0684126108440fbbeb6655ba49a7 6544 maude_3.4-1.debian.tar.xz
Checksums-Sha256:
 2175845809a1dfcf0da4d4adf709cea4b933859d3d37e012b4edb09f97514fca 2660916 maude_3.4.orig.tar.gz
 91cd6595e04bb058cdc6154cd86931dfd2ec88d6dc207744fa5f3f2df2b36764 6544 maude_3.4-1.debian.tar.xz
Files:
 97c92148c42d6b78efc645d64f00e910 2660916 maude_3.4.orig.tar.gz
 0421b2f2d2854aa2d3d3cd0acdd4b824 6544 maude_3.4-1.debian.tar.xz

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

iHUEARYIAB0WIQSglbZu4JAkvuai8HIqJ5BL1yQ+2gUCZhJ8ugAKCRAqJ5BL1yQ+
2mr6APoCX0HJenA3Xq1LgHnhIbegG2EKC5lu57wH3ondFmTFMwD+Jk7DprgSpTDU
UWR26uWmVLe3FZaxoOTdy5q1X1TKFwI=
=pocy
-----END PGP SIGNATURE-----