why3_1.2.0-2_armel.buildinfo (view)

Source
why3
Version
1.2.0-2
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Thu, 29 Aug 2019 23:39:55 +0000
Build-Path
/build/why3-USYC7h/why3-1.2.0

First submitted
Fri, 30 Aug 2019 12:14:38 +0000
SHA1 of .buildinfo
fb5f01b28b8a28bf8fc7a0ac8c2de8fdfbaec3d2

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-2_armel.deb)
SHA1: 8d580edbcf7e74906209fa3ae967c28eac6c7494
SHA256: c96541b66b86c4782065c1cbe0e00722e21a7ca6ca3288403d346a6bf714b7ca

Size: 4,094,400 bytes
why3 (why3_1.2.0-2_armel.deb)
SHA1: 91c8166e347dfce731bed542ae5d364e66e970ed
SHA256: 90e574bde071b13428e9f9270873d0709b37b9bd67cb349acd2b72461724b174

Size: 54,173,664 bytes
why3-coq (why3-coq_1.2.0-2_armel.deb)
SHA1: 0bb7f7a469755b3da51ce33fa42f90e9d69f09c9
SHA256: e2520b77f85a3b8b7447f80249b45f47bdb5941f09c36d7b8507c4edd687b57b

Size: 595,572 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.0-2_armel.deb
SHA1: f25be04abf1924c390dac51c9bf85bea577f8cc8
Size: 97,412 bytes

Submissions

oicznowb
Submitted
Fri, 30 Aug 2019 12:14:38 +0000
Signed by
0x6691144F7DDE728B

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1567106629"