-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 08 Mar 2020 20:36:59 +0100 Source: why3 Architecture: source Version: 1.2.1-6 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Changes: why3 (1.2.1-6) unstable; urgency=medium . * Add build-dependency libnum-ocaml-dev (used to be pulled in by coq) * Bump build-dependency on ocaml, as indicated by opam file Checksums-Sha1: ac24117aee8cc4435bdec8fe765305ec96f49dee 2774 why3_1.2.1-6.dsc dd42690a789b2e188dd65bdd59b9b5a84e4c00fa 23168 why3_1.2.1-6.debian.tar.xz 42f29f0e55cef7ae93bd598f0824ef6f00f3b5c1 15708 why3_1.2.1-6_source.buildinfo Checksums-Sha256: edabc431e69fda5952da1992948824c6b8a561693fb3d9c31fe38943bebdbe30 2774 why3_1.2.1-6.dsc 657ad5a8b4dc36cdb146c5fd8ffd2efcd262c395c5041b015e08b0b9a0415c2b 23168 why3_1.2.1-6.debian.tar.xz 078b7bd43935a6295f8b6a0b63c7beb591189768eb5081480643e68db4c62bdb 15708 why3_1.2.1-6_source.buildinfo Files: 0c40d5c7a110e30c1abe9775cfd63394 2774 math optional why3_1.2.1-6.dsc 15215a5e0f647dcfd7dcbfdf01076a1d 23168 math optional why3_1.2.1-6.debian.tar.xz 21d1207ab7a18de3acd33f737299a5fe 15708 math optional why3_1.2.1-6_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5lVA4ACgkQdFxHZtTK zf9PkQ//aTIJBPKsQm9/xwS4Ymt939xspgYq8xHOXRuLvFcNQ1A4vqc1tWsNlsGu olFoMROhC9+/W3ouG6FwidRnI1bn/2oKotEBevIYssUlY9btmUXh8bbZ7xVt7K9b s4R487+f/snzKfEiyF9KGAX2+WqrEiiAx7QP+d+4+EzTx5fyCgM7B7EEU6wzCrOf 2t9OXuRBoaj4566V0caxVrYXQSiXnB5cWiHGWwFLG6b2Y7W068zg/FiP2rt0VZn5 i1CBtgo4odnWaqFoVG+Ah0QsnlfxdqFRshov5Nk3eL81YOTef78dMh9FbpTYWqgw mdSzFHV28DLvGg4W5A5FiRHFfgN90N1Gn1R9q92JGVQmaw141b8XzDos+qhuyTA/ PSHvYw2Si0W0TZ48pZAfks1v7YawXM+A4yVJHVA7a3cRXsqOhGj/gvfBM9WhjjN0 fG+TMx/VR98PRupleItK9d2Zs94vQV/yQsi11oHq7Ij+VbTGLuaPI1WAGdqAxLzV sTc3uzPbUkftUidSvG7GzM0QsCWLzqd9SZkmrGpKZkVHxuC3IsDYFIuLOQA1Gy1p xCA9AFkFgIetPcES6W6OAgl2oLWhmVDK5GuJnesjQasbA/srGTUDTygPwVALR8s0 mHmRAPyqY/mfG9MYv0397wBsN7jmWctjEIWEs3nhJhElAxUYXhk= =Ek+M -----END PGP SIGNATURE-----
