Accepted why 2.34-2b1 (source)

Philip Muškovac yofel at kubuntu.org
Mon Sep 14 05:17:17 EDT 2015


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 14 Sep 2015 08:55:22 +0000
Source: why
Binary: why why-examples libwhy-coq
Architecture: source
Version: 2.34-2b1
Distribution: staging
Urgency: high
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Philip Muškovac <yofel at kubuntu.org>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool
 why-examples - Examples of programs certified with Why
Changes:
 why (2.34-2b1) staging; urgency=high
 .
   * No-change rebuild against updated ocaml libraries
Checksums-Sha1:
 024b1da1348ad4ce0cff8486a644573fa555a892 2355 why_2.34-2b1.dsc
 6b4cf20c7f26ec8e20afddb38911f06113f6a1ba 10600 why_2.34-2b1.debian.tar.xz
Checksums-Sha256:
 c2b67b3926aebe54f8465710bc303c956c626112bc42b29c032dc4a091e1e452 2355 why_2.34-2b1.dsc
 42211593d82ef00abb6c23620603c39b5a2c2c116ee0423ebf65568fa4109300 10600 why_2.34-2b1.debian.tar.xz
Files:
 49be7371f3534891b82dda643ce68c7a 2355 math optional why_2.34-2b1.dsc
 8f60fcd16529883d4a4ccdea0af3a7bc 10600 math optional why_2.34-2b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJV9o+eAAoJEKBN28suwKn/afYP+QHZNLp3I8H42jgQARJRNUBL
X/E2NrYFzLaxjske4hzhnVYwc923oFrJI/HYrmKBmo/tI8y3s/eMz5BLsNa2mztx
NIwgEPeEb+EoHsHogxVdziiENGjBsFaMIVQ+CP4fQ5BNPH/DKYetxKouBDcsbv0S
UgRH+BJ6Cxc3EuRJcz7elWJmAW+nX6MQszJcCBGz6YPCeDItVXBbcSw5AvQNXST2
s2MIp6MbQ9UpNKmBOS2K+ptbt6PHn22iP6BH1pG9pBwt+b5ifzUokk4uq2n77RgE
LT1cX5FHkdVhC2fFtCYPwRbZG9k1o5WMIpVbXlkQJIsG8mG9ixWXzmdptBoLLA3J
ftCfzoNH+UepUjHJJFhIjvG1zxpBpNAcQUGRTW4EGpnF7yftb+rMnk6/ZF6uh+wP
DWzjXYHfy8tVt2wDI08SEHyh6tMfiaFwFEesaqRlRBqQeZOkRUL0tfEbBItlxHrb
7uM4f0zPJRS8yYoqdGfyZ5PF7aPCckpc044BUGd3RxjQ6u/R7+j0rSoaWYss0NP9
MDsHS/1X/Pd4y3jxaH6683LyU4is5UolLT8m8sy8797RXwIXZS8k80+IHCh7QvsY
i02bCpWyKTqnSbBVO+Wz4qOJoB/uUChcrjFq+pWaN7CP7A/9s7jwpj68iKJ1U+Mu
9JfR5DOuAnjm81YNYEIG
=oa8r
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list