-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 27 May 2018 13:37:54 +0200 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: source Version: 0.88.3-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: libwhy3-ocaml-dev - OCaml librariries for why3 (dev) why3 - Software verification platform why3-coq - Coq support for the why3 verification platform why3-doc-html - HTML Documentation of the why3 verification platform why3-doc-pdf - PDF Documentation of the why3 verification platform why3-examples - Examples for the why3 verification platform Closes: 895104 899084 Changes: why3 (0.88.3-3) unstable; urgency=medium . * d/control: update Vcs-* fields to salsa * Add build-dependendency texlive-plain-generic to fix FTBFS with texlive 2018.20180505-1 (closes: #899084) * test why3+cvc4: skip when cvc4 is not available (closes: #895104) Checksums-Sha1: 056d25258f2ee8382cb99589afdc14409100d475 2620 why3_0.88.3-3.dsc 28cbda79cbbeeadfc34f27282250dcf46dbeba6c 13192 why3_0.88.3-3.debian.tar.xz 14af76ffb323b15c0e2b2b8fe425c3eb9ecd34af 12335 why3_0.88.3-3_source.buildinfo Checksums-Sha256: d8c26aea1d460c9dcd99dea2bdbc2643bd8f83b26bcfd8e39c374768e939ff19 2620 why3_0.88.3-3.dsc 45c4192092b235f5f9ccef80136b031ee362d1aa23bfc5d1997fe566dca03318 13192 why3_0.88.3-3.debian.tar.xz ad0079e8285903eaa3966a45dc0bc5c430579ed961ee512f60ed81ce717f9593 12335 why3_0.88.3-3_source.buildinfo Files: d9fee7588cdc888853f2a60d1da83f1b 2620 math optional why3_0.88.3-3.dsc a7e32d57c010e2fcee58893ea3445c05 13192 math optional why3_0.88.3-3.debian.tar.xz 9b00fcd75105912355227804d022f77e 12335 math optional why3_0.88.3-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlsKnZIACgkQdFxHZtTK zf9GUg//YHDbUMRGmHHADRPzM3ElZLGUrWC0Ta+BzH0HpHEqB7wN8YC+4wxe6r6Y 1nzbK2ArtXZ0YUPNCpl0Ubzjyw0ULOcnRqp5889OYGib+c4Gh6jkaXsl+owkKauj YUORroW4e5GEc9HuJn5QNsqbeuf5TLFJYANQuZ9k2zPSG/ISjnIT1wqb+yIxg9j/ Nj9cX4l5YZtEbbGaQJ4IHXKMJmYhetZxTxhXICGvkUMtJuoY0fnV5JE2A+NFmAAv IYQOgIHD881/jUe/E9GzTY2Qj4DbP/9an0ZV0FITq80ZtFfucUWCUdcmygCDIsM5 XD/Svseklw1P0gVxCTxZ+k+wAohJPD/lOwnW0dQK+9yFXMeufXh6MKhkYfvI2RtH j8gfbYw5MrjN1WqBtoXRQwcE1kVhvE+jdB1o7JeU8z3I2ZsdttvA+o+GOR8DY2KU OpRx7qms+HvylZJdstiLPYRzR8qRb+IxRTq5PUJ74t0TN2jknfyaWjIkseiL0/0W DokqbfuOYYSfE5Ybp+L4fU2qqOfyZNuFXiCkym5ATQxQWlu/G5l5RJI5L4HSdhl7 tCcQapx+81f+RE9O4+TaKhodwJoKznz6gSjolauNF/0aR8G0+M44fyoyWQT6OG6V wjxB06rZk+iWfpYdQutSDFiW4pZTRAChjx/2Ev6QknRWIoGrVkg= =qOu/ -----END PGP SIGNATURE-----
