why3_1.2.0-3_all.buildinfo (view)

Source
why3
Version
1.2.0-3
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 15 Oct 2019 20:07:02 +0000
Build-Path
/build/why3-DojVJP/why3-1.2.0

First submitted
Wed, 16 Oct 2019 00:41:53 +0000
SHA1 of .buildinfo
42aded09affb8dc9ba7d11f8d51aa6e52e9f37cf

Binaries

libwhy3-ocaml-dev ()
why3 ()
why3-coq ()
why3-doc-html (why3-doc-html_1.2.0-3_all.deb)
SHA1: 1fe99c389dca2e181111828bfb21fe0131671794
SHA256: 25e6468a90821a932a7477fb8671a33fced5ba777aa7d090e6ee6eb05f27d5f4

Size: 362,316 bytes
why3-doc-pdf (why3-doc-pdf_1.2.0-3_all.deb)
SHA1: 0df6db56633be326857226fae30aa3e28ba8f6e4
SHA256: b87f580f281b05f25ae0b18c75bd5b31fa1a81d6d41fb520d09a4265e90527f2

Size: 1,274,880 bytes
why3-examples (why3-examples_1.2.0-3_all.deb)
SHA1: e22ec6f0279ab2cea31874705fcfc787b6787a53
SHA256: 877db6d135eac0264d76c3660a8bdb28986be1e672522892d61f43e416c5a707

Size: 2,473,424 bytes

Other checksums

Submissions

od4pbwwo
Submitted
Wed, 16 Oct 2019 00:41:54 +0000
Signed by
0xCA34C7F06ADE3B10

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1571164954"