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

Format: 3.0 (quilt)
Source: maude
Binary: maude
Architecture: any
Version: 3.2-2build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Scott Christley <schristley@mac.com>, Andreas Tille <tille@debian.org>
Homepage: http://maude.cs.uiuc.edu
Standards-Version: 4.6.0
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:
 9fa7367a1126bcc63762c5755870be35c48ff841 2405779 maude_3.2.orig.tar.gz
 2250ada70e279c789b5c59056f118a399994ee5c 7384 maude_3.2-2build1.debian.tar.xz
Checksums-Sha256:
 62e9df1754343a1eadb32834412dbc6d8ba460179280e46818fde2fdeaf1606a 2405779 maude_3.2.orig.tar.gz
 c16adc4be077ba0e49eff6cf2636afe18cb40b85706ddf76ddeaec9096817038 7384 maude_3.2-2build1.debian.tar.xz
Files:
 ae61270e9e08a0248d3e01827179f288 2405779 maude_3.2.orig.tar.gz
 dc8fdfe1c15a1211d97aa46e84348aa8 7384 maude_3.2-2build1.debian.tar.xz
Original-Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>

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

iQJHBAEBCgAxFiEET7WIqEwt3nmnTHeHb6RY3R2wP3EFAmYUBsYTHGp1bGlhbmtA
dWJ1bnR1LmNvbQAKCRBvpFjdHbA/cT36D/sE93LU8vnIJsZvHhVTBHxNdyiM64JV
BBHJoZjGD52gqS4MwFmgEm4+gry/3yOei9IA+r0dMye0ae6MJHijEEYZ/aWTcNSB
rWH9+/xiN/ceUvhGNVMkUiFEVOBOEOfErufelcT6KoXNaZsW8PZBqQP6KJq9Sfhf
qE0Ki9jkHc8tcFUtqehAAszrmWNmMIBLAPIiFDeyvcPOhCYDrD/E1zdTHPc6uVJ+
8M2N1gzZkZ9JK0H7twDWCI1t0ssBIrY+Nk7l+IVG6eeQU+Ss9Hw/xi2p5JbllOvj
KqznSmKXV6MCfDJ4/qVIXCrWiYBx+8y1LCFQwq4mLigiEfnd+1iMIBTGSNYMLolb
9r9Fdtcl45chv6qPfmYFEH9uRjMKBxYSP/Jmuf9PA56mlviL3mIJXj60hGFeNI15
ya5W6Bzs5X1hfnl83amYpNpu4RB0XAA/8g0qcn+zvq3xJLAMQ8XjaqIoKfjhnPPb
tSkZK3ONj2YcXEVa8CZNFaF0wLHC/X4rwkyhzT8ny/DvGjfIlw81vjMU3hi8OWpf
tPz9JyRFJnKtHu0YBeKfAgQQfQFhdwxq9KQK5tCMO0hlGvAfO1tPLJAyXUMjxXik
KpuGszQQTjxiHYlyqNxvmTba0I9RiZraPb2h/0YZypCuLKdbfGu1osGfWcDklAXF
uCyAUM2zc7FfTg==
=4lwZ
-----END PGP SIGNATURE-----