Accepted why3 0.87.1-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 19 Jul 2016 19:05:11 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
libwhy3-ocaml-dev - ocaml librariries for why3 (dev)
why3 - Software verification platform
why3-coq - Coq support for the why3 verification platform
why3-doc-html - HTML Documentation of the why3 verification platform
why3-doc-pdf - PDF Documentation of the why3 verification platform
why3-examples - Examples for the why3 verification platform
Closes: 831664
Changes:
why3 (0.87.1-2) unstable; urgency=medium
.
* amended patch drop-timestamp: drop setting of BUILDDATE from configure.in
(closes: #831664). Invoke autoconf, and build-depend on autoconf,
since we patch configure.in
Checksums-Sha1:
7efe509c269bbb9184b732bb9f94fbd55711fca1 2592 why3_0.87.1-2.dsc
3caca66ebc51638f0e8a3dce8c19ba60add58f68 12092 why3_0.87.1-2.debian.tar.xz
Checksums-Sha256:
cd2527dd0018a6271418f63db71b7e691337b12663cf221a08558c70386695be 2592 why3_0.87.1-2.dsc
0690fcd7dfac4328b57a97af70c1282cf69725b72e083f7ca095f70b7fe8020e 12092 why3_0.87.1-2.debian.tar.xz
Files:
8719077ed343a80bba2547e9a6abe247 2592 math optional why3_0.87.1-2.dsc
95394598e0d8be8a976438919a8284f4 12092 math optional why3_0.87.1-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJXjoFKAAoJEHRcR2bUys3/Vv4P/RKw04tmiOiergjiwRCIF+qt
LLn02Iiy0P353Mmd1oD8x7AWnLe35Qn73XM5kW5/QkBSzaZ4EivC8Rmdu2g+o5LV
A/vVDtuRehlQe4+LwqFj/T8aOhQF+++9obWHpY+qsRNwxDOIcLaLsvPmFDvcQ4je
qgg7j6QPtydcMhezWERmxUwzbaHTWUJ+kM3BHL/8SNoL3MqyaNhpBnEjlMsxGx/S
6JV4/sv+rfGfmHcxdlvLHfq3njWZcXU42vIncXBVe6C11sixPCkk01RrJp2H2tZC
T1wrngdmwFJY91SxkU498ZtCPakPQz6v/YlOTDxJfZkrgTB1BBuDgEsg9TWIZAnQ
9yOJpLf+CPz9v5mAvEWmUL2IH/UoO5ihyMoJYEa0E0y1Txc/xIvqMlXYrFcTM717
7rFYG8xOWHy+/pS/s6d6GSnAzR0Rzq0dIxQFgX162T55VIdQhU3q6UllumCBhBvU
FcoZoxyiWIcK//UIgKRrycouAu5CKQITGkZEX9jZN2j8kHtrTPXZgslhZEDYM8Yw
c3IVYC4QKraQ3B0qKeqrJGie1zDK2YYUPTzBQ0lmMXV1rg+v+zO3xxLDAmhnYZ4v
V+pIdiug+W36ampaQqJCPAKFI5QEuP8JDfen409Dx5kDMIE9bkwVdndsleW1nBUW
b+dze0ByxEnCy890Vcko
=Rhxg
-----END PGP SIGNATURE-----