-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 18 Jan 2019 20:42:29 +0000 Source: ppl Binary: libppl14 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: source Version: 1:1.2-6 Distribution: unstable Urgency: medium Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> Changed-By: James Clarke <jrtc27@debian.org> Description: libppl-c4 - Parma Polyhedra Library (C interface) libppl-dev - Parma Polyhedra Library (development) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl14 - Parma Polyhedra Library (runtime library) ppl-dev - Parma Polyhedra Library (development binaries) Changes: ppl (1:1.2-6) unstable; urgency=medium . * Team upload. * Disable swi-prolog bindings on architectures without swi-prolog Checksums-Sha1: 1c0a3e672b625c69102372e2213a8445d88ec58e 2581 ppl_1.2-6.dsc 020dd7fec8b6097ef88c66d55c0a8464da6f4858 11976 ppl_1.2-6.debian.tar.xz 5e7a44a17e8fcde9bc3c99e007c25f433eb66604 10063 ppl_1.2-6_all.buildinfo Checksums-Sha256: b7c6990e15e1492c8f761961fc0ff78922efd63c1c484e3af421dcb2ce5f0bd3 2581 ppl_1.2-6.dsc 96392b9551074e57e6dd0a1fe0694646ddb7fd9f8641eb986a9db03aa784a46b 11976 ppl_1.2-6.debian.tar.xz c7200b81640edaf1b420818b9a8202ffb3f382e18e60e7544606167ad505de9f 10063 ppl_1.2-6_all.buildinfo Files: 9dd70c6a5bbd19d9c659e850613e4e2a 2581 libs optional ppl_1.2-6.dsc c212e4d93307708f85483840b344186c 11976 libs optional ppl_1.2-6.debian.tar.xz 1304191371bcd54f2230ee715d30a1cb 10063 libs optional ppl_1.2-6_all.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAlxCQT4ACgkQsZN3DBhq HH3doA/8DF1ttIWIR7hhh0g3V52008HRReVNBMjFCHsLNqdlQKVx3OPHSzS3SUtZ eurhC24ypPb2tudAJlQ/Kyd2f/OXXPCppdARs3wL3qhGugrMRxDBorHGz/P1E/cp V2hbMUFVFHERhq068x95FOg74Bp2VZ5Pix/2/5An9x8pkBI+qhKaRZbEBAfgskB0 vEGcEu6YO7LEMUDkiSuf7FOQ7RBLMJLTG2AwDi+bgcHqZN+m5ivxu+V+VSn6Wh/C F95TIc7/R4+fgfFOFI6l8FDo2vu9vqNPWAV4HtEyWgceHImZdqH5yNZv+H+PIp5F 8kvAqOeAd8ZY77ZqZtA0BDzvrLeFFzY15MUz0OvkDyUyqRjl6J2X0TSuC0E341RG 1s1xJymK4xKQNyipD1UlZkH3SB/9wJ8cOhxNSSK2tsFMeypsWjjv+aMT0oMZ0/sR 7UXsGRgbLvyJWtltI4F9URM60IBIUFWRL26HDkxbfxucUbmipqk5c79I2Kv1QBwI QOChfgMYSDMIVErt5DHg2SiBwOd76s01gf07PCSSfaGUB+ZRmzVwkiVlDz71DCVr 4bHzDVKzTgEhlUrCUFUM+Wj+wjRWxrn3iHKauYQz5P7v49mhNG0yHqY/+41Qoy19 P3f6/+Hm+MsmFMyeA10eSWVIzggxqeeNYWQdYMEjZAmAQK+Fxlg= =kDNv -----END PGP SIGNATURE-----
