-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 27 Dec 2016 13:13:18 +0100 Source: why Binary: why libwhy-coq Architecture: source Version: 2.36-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: libwhy-coq - Why library for Coq why - Software verification tool for C and Java Changes: why (2.36-5) unstable; urgency=medium . * debian/rules: set FRAMADIR Checksums-Sha1: 9b2c523027a6dd5bcbb0817531ca3a028275010d 2264 why_2.36-5.dsc a1ed033338ece6428d2d81a3b4d5db85b07facee 11560 why_2.36-5.debian.tar.xz Checksums-Sha256: 02741d892a99f82d363e50b9b8ad40a4c97a530ff8793970dad92a5c38489764 2264 why_2.36-5.dsc fb1b2c2e6013b1f2843b799b869619ee73367af1a891e0038a701e0cc0c9742d 11560 why_2.36-5.debian.tar.xz Files: e91040377c37be354c73b19293d0586f 2264 math optional why_2.36-5.dsc 0bcbfa6892f52e67f6b0c3d2dabf78a1 11560 math optional why_2.36-5.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlhiW2gACgkQdFxHZtTK zf9OCg/+MTSFgZouNkgeq6zKBV8eGGF0/q3vqk7yhMvt+qGzCi7Hv0wWbKsIay5a COjcZQq0no8WdpA32ab5Az+TTp75bBXnyYboZxMbh+vpG1vD7Hbyzy2GaNK7LUTD XGnhN4wX/dfySnKlVYCh0kY8z+FA6fZqappabyHUgMx9O7H8dgJXz85Mcd7sJNWV s5niwvxveAJ19cB8bHTAzFrwI9M8XfHwPzHdcMzHWzLGznY6RX5OQvHAhhDn8gcr b/dVccR9Xc8tGLLK8VIUUuk7J3xKOaJcTWqKHOONgAMiIWodK82XUaqLMFGVwZaC OsCdN5dfpLKONOoNuppySeCEnF175oK5wApfYr3xZv4sQa75fbvs47x11dXjDq6h x4RAt1kXsVRLmnrTWyKzy3QxJF+94XUpXG5zsg7zGhzP8duo7n3sHI/5t3lDZlcd qiUQKGMafxGlgW2KOgOiTpTisemAmOAQj2FiQemkaHLbq8aJotApvUgaSDmwj2HN 5enAqul0hk6T8EvidHXMVnuwr5rC5zCclgaehKSazzns2J0MWs/m8qIPlN+tuQIE 1hA6J0lUqaYFbswqDs5dSobPef5QcgDoznaZvoje37o21evZJVsVvs4IflI4f/vW eRIVmICN+zXhXhzmhThb9KDYsfrU+Da7BMAYwTzckgfCefG2E3U= =lYlk -----END PGP SIGNATURE-----
