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

Format: 3.0 (quilt)
Source: cafeobj
Binary: cafeobj, cafeobj-mode
Architecture: any all
Version: 1.5.8-1
Maintainer: Norbert Preining <preining@debian.org>
Homepage: http://cafeobj.org/
Standards-Version: 4.2.0
Vcs-Browser: https://github.com/CafeOBJ/cafeobj
Vcs-Git: https://github.com/CafeOBJ/cafeobj.git
Build-Depends: debhelper (>= 10), sbcl
Package-List:
 cafeobj deb science optional arch=any
 cafeobj-mode deb science optional arch=all
Checksums-Sha1:
 84e8321a9ed1998c940da29ba32e99de5d207c3e 8448093 cafeobj_1.5.8.orig.tar.gz
 bbeb46ccd57d006aaf75cc8e45143be5f432ec47 6644 cafeobj_1.5.8-1.debian.tar.xz
Checksums-Sha256:
 84e0f78c1000fad3e3ca3ae68163b9c532815b67a9f3f9e07d07fddbc24f4dfc 8448093 cafeobj_1.5.8.orig.tar.gz
 e5a81b1f9d7d9101f8917bb5cfb61c018450097238931d51262687b3b92002f1 6644 cafeobj_1.5.8-1.debian.tar.xz
Files:
 7054e6be1bdb2d36e8a76b6ee1e21963 8448093 cafeobj_1.5.8.orig.tar.gz
 478d5d74ffbdd349cf75699a91614b65 6644 cafeobj_1.5.8-1.debian.tar.xz

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

iQEzBAEBCgAdFiEE68ws0vrA2voQX53I2A4JsIcUAGYFAlt+AgEACgkQ2A4JsIcU
AGZ0GAf+MdH+aLwjAKrM79tM5dFzzHwJOPuYZTNOWyKyNld2dGoiBSCwdB9hzlAs
60Uk7QooggGBzHCs2H4lYqkEmbhzgpsCWBAW93ILIkBOG6AGmVuPESUvT4U4c+OA
btUm7iNi+XoSj7ayULyTk9mf4QKwHVyM4mFgwvs0Y+MZ+57NYOB1KEsNULwND4mu
L94pvtgRe7gtzYKqfNlktjx3uhcqYqOhkZgxW2f+SeEMgUBy0txFLkEBo976Whcu
0+b71NVC0vP8Fpwz1w8OiAIVmGAghwE/nTyQSiNdwm/0z1H/WUnw9m+yrjAnEkKW
YOYihQDca9g85IRlIsyebmC3BKopTA==
=Xx7/
-----END PGP SIGNATURE-----