-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 12 May 2018 14:36:22 +0200 Source: why Binary: why libwhy-coq Architecture: source Version: 2.40-2 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.40-2) unstable; urgency=medium . * Add build-dependency libzarith-ocaml-dev. Checksums-Sha1: b81ab867f967f9efb8df3b9680863fe05c0da429 2346 why_2.40-2.dsc 11d385bd3ca9a9beebfb64556070453b844acf96 11796 why_2.40-2.debian.tar.xz d28f7da16cbab1c8e75fc170894cabd0489a301c 8983 why_2.40-2_source.buildinfo Checksums-Sha256: d5cf145ce7340fe42dc4b65ab862429c100dccb94a6a5a1e2b861a4a99116ae4 2346 why_2.40-2.dsc f8d0be9633e651c53d8fd057196a8ad4223165e3bd6b5f6c6c4e99a606bccbf3 11796 why_2.40-2.debian.tar.xz 634d4cadd2d2bf0186e52ebe7fd8b557aae0db798eeac94c4d2d98abfb8f61ac 8983 why_2.40-2_source.buildinfo Files: 1d290ee047174d9c051c545692c73571 2346 math optional why_2.40-2.dsc 152ccf0902d3cff8e65ac5887f4c7159 11796 math optional why_2.40-2.debian.tar.xz 47886ecbfeb390ebd72bb3ca51316b89 8983 math optional why_2.40-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlr24YYACgkQdFxHZtTK zf+ZPA//efjFON7AIHMmrRll9xcoCl06g95l8FEOqeUFSHlDVxKyJTGmAh05f2F8 P84OrtNs2ntW3vgg5ZTV7+Nqa83auyG5Jtd+LySWcV+p5GRrXELO0yi3Zpns5blN 2+HiX60gFUaeT5QqBE0YaaaxTFZ3Tz4up54JoXsuHP+nnoWMWtTRKMzTExumAWpM KrTYL5pvpJ3mP0Ydk/DGLOEQfgnHA1VykbQrbEblzgbjPFCaXVJq+TJSjbLZUBt/ 9JBBXd5FzmTtQ0KDNB2lRyBlSdQ+Tmp+hS86efm15JSxeqZv9gkPxNuScg6WSbXF PN66ZVbyZTs9bW+e1zmTqZUtdHIypBx7AWCYUv4LNIkTEC/t6Ra+vYLgI4tZ1I/+ 7VQ0EBFHMW2P9YiA/eHbZmAbAuQ7vrfU6+U6idkroJ55p1pO8ll7aVWm36ZAqy++ 1ZqIJiFTJkOBXVVgE6Jh6HBtdi3ftI4Hwv69aHW6/HM5m24BXQGWBJRtJqGL1qrb oOWpcg9kBj+qIRItOZcibqiohOuMdqIeBoHRBp+5Q/B+VvGAnO6CPOb82nB9FEx+ xNP+EIreE3yZWwrvVdFFZiJ1CMMJJoIee/R6tzmXdZTcDIleRD8tD8eUnzH5JxPn MMyb3YPs/EIGBEU7ZO9f0bauorioh8ZBl+ThH3Z2nPBBnUxkUmo= =iDRD -----END PGP SIGNATURE-----
