-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 15 Mar 2015 10:52:48 +0100 Source: yap Binary: yap Architecture: source amd64 Version: 6.2.2-4 Distribution: experimental Urgency: medium Maintainer: Ralf Treinen <treinen@debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: yap - High-performance Prolog System Closes: 780371 Changes: yap (6.2.2-4) experimental; urgency=medium . * Add build-dependency on libgmp-dev (closes: 780371). * add as-installed test : fibonacci. * Standards-Version 3.9.6 (no change) Checksums-Sha1: 3e4f29240327d9d4aef95006567910899cc762da 1948 yap_6.2.2-4.dsc 0a4e5034b6aed84e85e552908b3ce50a0683c974 9312 yap_6.2.2-4.debian.tar.xz e8b9c58419d3df0fcc69a40fd1046405001b236e 2721616 yap_6.2.2-4_amd64.deb Checksums-Sha256: de5e58b10281e25eff6276d65e9582b38f707037eac3be69099c1b159192d523 1948 yap_6.2.2-4.dsc 571a821d07c8be68bf8c39d3b64eb46ee11b1d3e67c3740274934a8e45e94e76 9312 yap_6.2.2-4.debian.tar.xz beb32b2ec98039096badac6c283fbedcd4dfafe449da29ff7f71a76f10e8a633 2721616 yap_6.2.2-4_amd64.deb Files: 96697e040013f20bab05fa8eab5e111d 1948 devel extra yap_6.2.2-4.dsc 28bbed7ea035bfb7d577c784bc314823 9312 devel extra yap_6.2.2-4.debian.tar.xz 5b63cdc19c329cc518ded7ab0f0e4f93 2721616 devel extra yap_6.2.2-4_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJVBWdSAAoJEHRcR2bUys3/gJAP/1UC65pdEHXVTzVgY36J3h13 Sy8oLtgsq7MunQqYN1iwtDTxEF+Dcq1LnRlTGnwXqpeQTh51qofsG8WbocpQQNpS LbxZn5hWrQb7zZ0vHwwBouJjfCZOYFbgE13Qw1kMK462UkYQp7H+wNPT4yoQFnD8 jZ2SpV+H90/32NNvjpobRbmfIc5x8CvhuZuK97Q9yvHGjW8yx4OErQAVfeWiBSZt QQgmv6GkJJNhE1chWxaW8eKWgNEPAOub3cWJ5KTqtddywV/EVpXJ0ObB3DW2Vkid mZDdhg3AB57Oc3MaZTb43aIjslQK292A9tyLvUMa+s0HVTKTghm5jiSMf4YxVYGD iUdECgWqda22YIJtI9XvvG3H1iAff65Gn/K3OW8fyMhTxC7G0PTr1Wx19u77epZs zP9yz5/hAUup2+9mSVbLHRxO1hY2tb7yg7yUd92Y0F3jPA8KA6fwLxoHwWe3zBGj XlwanchcoY+uBaTlc+minYVmFhH5G+ekmSfgd5Ydyv8BX97Oe1ytTSOB6bcdV7Mg 5QJmBr82s0dfFktViJRXaco0XxDEaWRWdLJAunAP1D6yIBG2170Px6u/k/A7VZsu ynmsWshvu9Z4Uh035nm6YwofZ9kKQL17QfAhSITptMgU7VxMrhGNxbn18C1V/KjX xGpswZLJV5KhU6e7hJA/ =MOOM -----END PGP SIGNATURE-----
