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

Format: 3.0 (quilt)
Source: maude
Binary: maude
Architecture: any
Version: 3.2-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.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
 f0e53958403786ca85cfddd1e1a20fb2002a5946 6756 maude_3.2-1.debian.tar.xz
Checksums-Sha256:
 62e9df1754343a1eadb32834412dbc6d8ba460179280e46818fde2fdeaf1606a 2405779 maude_3.2.orig.tar.gz
 fb60ae0a5e4b5d84f5043187ef06bd14cb98d3d6168e1c423dbf97d4ac37fa42 6756 maude_3.2-1.debian.tar.xz
Files:
 ae61270e9e08a0248d3e01827179f288 2405779 maude_3.2.orig.tar.gz
 2e097b99fdf493d11e3c32b4e4b32fea 6756 maude_3.2-1.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmIRVT4RHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtEG7BAAlBlax8apwtYBG5QdDyChukYUBogHVWmm
rud4+ndNfHR/ql7/CWBfxZGCyYqWG+2SQrZklXRlzBH5ceDaX4CN4YsDx3J7qIXI
Frqu87NHON0XESqknOsjXQwILu9/C6S0Q+p6at6VaMLCe506b1YYei2zxH1lH7a4
XwB6SSLeMRv2QwFxglkfRM23UClvri+HeMvTvHDoFFQW2EKv4i/3S0knOpRKUi5L
er47WulS2sh6lrTtfnMitTHWHikGB/OwmNn+Fa7xGROmlks0KTBEJ22GpFkTcFry
NsQPeFP2Azujtx5yurSgb7zaY8ItTrH2H4iKh9Q+Ugr/5GO6BqKkDRdasWUfUsbj
fYSNaqMwLgmzXtIzdzQ1ZSwqRWU7N6sackjNUhDOlXrljdtUpieqnRJrXVCAvAat
AchcEiXhLc/+9mPu73U5bEnx02Xa7CbdKtxHDNCEj2NcbjF5eThPo4RBT3dwYf4W
4OHg8ivZREnOxVyJOZIwR9+vSSFTSUOWwAA1MnDlMMiSk1C5lfQfUFyfWzWVpQM7
NSzpnVYCyneMCquavt6ki21fonHb5N+iXOyw4UZdTUbv+wBPmcOdmFuhn7+wM6hD
hQzYBo5DvW2BZ69LPaXALBzFcO73HIhiTMvNSAxDEib/br6HDgTJt8gOO8/DM18q
XrV7is35/X0=
=TzAi
-----END PGP SIGNATURE-----