Accepted why 2.40-2 (source) into unstable
-----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-----