why3_1.3.1-1_i386.buildinfo (view)

Source
why3
Version
1.3.1-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 7 Apr 2020 16:32:52 +0000
Build-Path
/build/why3-5FacJW/why3-1.3.1

First submitted
Tue, 7 Apr 2020 18:15:57 +0000
SHA1 of .buildinfo
aab8d8d30b8ab63a506707d330f405b076430fc3

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-1_i386.deb)
SHA1: b6d48ab6ceaf413389f0a3df6ada853c2ff7d713
SHA256: f5b66bc7abb11fe2210fb76fcd58d68fd98cd297bc03bf01134a3997ff5e0746

Size: 8,288,504 bytes
why3 (why3_1.3.1-1_i386.deb)
SHA1: 1f18e1e918288bec2b71a0137f963b73400b222b
SHA256: 5c26d4737ea9f064c07ee2a714518d6f729ea28168c10592dd99437cd19ce7f5

Size: 29,357,856 bytes
why3-coq ()
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.3.1-1_i386.deb
SHA1: 55fa65d33cc71138cad4de47372296c172fd6f8c
Size: 7,523,324 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-1_i386.deb
SHA1: 53575b6f91c976aeaa04967882b181eda6f57ac7
Size: 579,868 bytes

Submissions

tagcvoup
Submitted
Tue, 7 Apr 2020 18:15:58 +0000
Signed by
0xD4D51947CB93A7C6

Environment


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