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

Format: 3.0 (quilt)
Source: maude
Binary: maude
Architecture: any
Version: 3.5.1-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.7.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:
 192fbedaa79d8eb0c0f8caa1fac5e7c12d06f7c2 2239270 maude_3.5.1.orig.tar.gz
 8f0e322f701414d19b61c774cb9186e0ebb6908f 6580 maude_3.5.1-1.debian.tar.xz
Checksums-Sha256:
 06067d98b98af68532b3ff85424443e18220bd78ab0789468ad82bd68a73829c 2239270 maude_3.5.1.orig.tar.gz
 ad1a47e596fc2b9722fc6adccb2cd894c7f2f7a49c521c3fa1fa2dcadc7c40c0 6580 maude_3.5.1-1.debian.tar.xz
Files:
 9d3ff10c8b0ca9ea7e4686af52b3e124 2239270 maude_3.5.1.orig.tar.gz
 502d6faa6176f999c4297963acd0326a 6580 maude_3.5.1-1.debian.tar.xz

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

iIgEARYKADAWIQSglbZu4JAkvuai8HIqJ5BL1yQ+2gUCaPyxORIcbmlsZXNoQGRl
Ymlhbi5vcmcACgkQKieQS9ckPto4GgEA8/snMfY1vk30rxl6JNiq+rVE2YLH6CBp
aJGQZIZYI5UBAKstlHIpE4puf5Ny4vHlQMzINXdkkzRUlbw291Lt5D0E
=3xef
-----END PGP SIGNATURE-----