-----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-----