why3 (1.2.1-2)_1.2.1-2+b1_mips64el.buildinfo (view)

Source
why3 (1.2.1-2)
Version
1.2.1-2+b1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sat, 9 Nov 2019 11:46:47 +0000
Build-Path
/build/why3-f3WgXF/why3-1.2.1

First submitted
Sat, 9 Nov 2019 13:27:40 +0000
SHA1 of .buildinfo
0edf15a333f2dae405ea4f747a94297cdad2cf29

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2+b1_mips64el.deb)
SHA1: ff303e0d9e66822f35d861175c06a63178ca29ff
SHA256: 2b70827024cea67008a6d84eeadddb364a12d1ed75328b2cac4a83709d36d439

Size: 4,218,984 bytes
why3 (why3_1.2.1-2+b1_mips64el.deb)
SHA1: b81fa1ada784212f66f7305ae0884141c41f83bd
SHA256: de73f5768346fff2273abd390d02d2ebc61629a110398bb57ff238eec2021962

Size: 58,397,444 bytes
why3-coq (why3-coq_1.2.1-2+b1_mips64el.deb)
SHA1: ba75829dbe451efcaa1903d9551eb0ac5bace614
SHA256: 63ed364044abf8e80cec2724e127e804a1dd6f09c2914a9e687c5337170656a3

Size: 599,328 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-2+b1_mips64el.deb
SHA1: a051f13e536ecc4e535365f18b652fd3ef16dd2f
Size: 112,128 bytes

Submissions

g7h7fhfh
Submitted
Sat, 9 Nov 2019 13:27:41 +0000
Signed by
0x3443710A81671ED1

Environment


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