[ubuntu/zesty-proposed] why 2.36-5build1 (Accepted)

Gianfranco Costamagna locutusofborg at debian.org
Mon Jan 9 09:39:21 UTC 2017


why (2.36-5build1) zesty; urgency=medium

  * Rebuild against new OCaml ABI.

Date: Mon, 09 Jan 2017 10:38:23 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why/2.36-5build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 09 Jan 2017 10:38:23 +0100
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.36-5build1
Distribution: zesty
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool for C and Java
Changes:
 why (2.36-5build1) zesty; urgency=medium
 .
   * Rebuild against new OCaml ABI.
Checksums-Sha1:
 fd998eee22759302eff6fc7f376ab9cc941d6489 2245 why_2.36-5build1.dsc
 329c6f9a1cf80e2a207525da795e2ded902853c0 11652 why_2.36-5build1.debian.tar.xz
Checksums-Sha256:
 cd0b377e60951a53a01d1c7f39e5ad719962c0c2760f2ad6c8bf625ea69dd302 2245 why_2.36-5build1.dsc
 13ac20907f85d3743e1fc5f284ee9a3dbb5c773b54443500f0c068f5d9400d23 11652 why_2.36-5build1.debian.tar.xz
Files:
 6c08b6ad4233b8c3406e763555536e26 2245 math optional why_2.36-5build1.dsc
 eba313f6775249409729acff46a902a5 11652 math optional why_2.36-5build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJYc1oQAAoJEPNPCXROn13ZE20P/1/piqvXZW2x0VNvYwVgwMpg
2br8X88uQG7YeSGi2E21QrBaoFk7sWwJOExBY1pERBBij80LGLXrkbXwtLLkX08J
ymH9WWr4ReAVLjurv4thhN8m/jHHLHZv/tP4En8fpmSmVOx+ghf4geq/cEuQhmO/
ybdM12iUe/k1SKbpq0wLL2aEZJCymMdyXjdwTjsJZOOpd/MjYhF/gqJDD68GFndu
4Nbp3Ya4jKANo7E3MGiQk9LZlry4CuJp8nU3bs16GBJECN3Yrx8V/LvSiiMMIQF1
szVfFkqDoPxaoVqm8nPMBK21/Nw23s1eibYTd1UjFMd8N9gQ8iRNYEYxqVSf+qx1
MINzu8YBzw2dLGO8nWo88xJG4VEkaLThM321ZbQJ6+GKhpllOvVpenGdxdM9Gk0Q
cm8IXhQtr7NiO9L9sJICjQpGysly3qiFzIOzeDGUDpuLWUW7qZxchp2q8Hsqz6z2
mTQ8hFnuzTpLp2+a9n1t4sso68EAcVwQaCqAsgoUzXN6THb/m7rWk/69o53UbFcU
RpAhOVp2iB4ndrmb0A2sI8Nm/n3TKyBzZesvG4j0LvTg8cSABQaI5800GXFNfeqC
+RQeU9x9isU12AsWIwvwtdtER6+4NnrH9/PBXOajzZU6re3ndYjeMhtV39z4ZWvD
dCuUHppAih7/qMki5qNs
=ErFO
-----END PGP SIGNATURE-----


More information about the Zesty-changes mailing list