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

Format: 3.0 (quilt)
Source: maude
Binary: maude
Architecture: any
Version: 3.2-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.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
 a7fb3910718419100954fa92af38d3fb864f8eab 7276 maude_3.2-2.debian.tar.xz
Checksums-Sha256:
 62e9df1754343a1eadb32834412dbc6d8ba460179280e46818fde2fdeaf1606a 2405779 maude_3.2.orig.tar.gz
 123a3a1a42755de3fcb66781cfb24f8a38bdf668effd4fd84ac3279652020797 7276 maude_3.2-2.debian.tar.xz
Files:
 ae61270e9e08a0248d3e01827179f288 2405779 maude_3.2.orig.tar.gz
 2eeddd9d7bd20cb0ac35a8b2ac33aeb3 7276 maude_3.2-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEPpmlJvXcwMu/HO6mALrnSzQzafEFAmLNhFMSHG5pbGVzaEBk
ZWJpYW4ub3JnAAoJEAC650s0M2nxpVUP/iMh8bWZ3ks7BDFH5k5E9vG6zoqfZgRp
gCC0LhOpqkk4cjtN77K15pNHREMNxJTt+7IC71cuCuv2MtfjuMOQF/fH0m5FwpnJ
NpHgY4vjETN9zCq3xPJWL84N+VUcaRRlg2pLYaYqtnv8P+BsbeKhuIlNqk6GDPLx
my/thT/ZH0pWYlmE+VK3kMu5WZ9skX00WdxPvaf7Ye41hiK311s1jXiyLl+LNFY2
H0VKzb/mt764HBKIhsos5ADvEhbUNUyJyDJtM5BRXhQOV2EnmMIBq3VIimMa3AyL
psSibSDgeWTKmj1r3GuncGPBDR8oFfndmNsYcaW/8SR6gEbGVrxKoSvnAO45WidN
81C33adtTTvw4BGLowmdEJ5d6wz0aleXtQlNS9AvPe980oRJ7iLkc5YBCv2KsE8/
s+nsGYlrLKFqjEJyxI2coNxej8dx9K1SOZyBSqlKIfaPWz2Ftki58EBIOMILknGz
mIQs6v5Tk9nzI2Hj5B2Hve2czh3soE6ZqsG9/zbkkMk43BQe4Pf7AJ8gFDO1M1N/
tAQ3CSP1OQxzAQWt76h7NIrL2xm4TPmo9kiUOLuJtQX0U+7Yn177O/WF4BEcflBl
CsuE4sBc7wlrhRdJ10hje0p31Gwwja8Q7zCYZHxMupq0rZZnQsYyHmtUw5My7Bjd
ieqkkAsx/G7O
=iR8g
-----END PGP SIGNATURE-----