why3_1.2.1-2_armel.buildinfo (view)

Source
why3
Version
1.2.1-2
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sun, 3 Nov 2019 22:35:12 +0000
Build-Path
/build/why3-rkD3Fz/why3-1.2.1

First submitted
Mon, 4 Nov 2019 00:15:30 +0000
SHA1 of .buildinfo
60fb17abe4757cc0e625eb0dfff94c2901cefcfc

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2_armel.deb)
SHA1: 8e77698968711b4e16c52b15abf266f15173f6fd
SHA256: adbe428593731f3187a1c0e96492f26d9754ad366cd72e2e45be99cb08f0f291

Size: 4,094,388 bytes
why3 (why3_1.2.1-2_armel.deb)
SHA1: c21886b3867dae6bf3a998cbfb4d0ab710c1adc7
SHA256: 0a875c9330e3143ae65bbd3d7f23cb49f072b038ae58ff246b77c2838a8a11e4

Size: 54,170,764 bytes
why3-coq (why3-coq_1.2.1-2_armel.deb)
SHA1: cb2ced2b06c1107aa07a2ba69d1d9e7e281ff914
SHA256: 1ec7fe9ad26a37b83b1dc4d532369edd5d0ee17f1fb42229ce894c490ea096e2

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

Other checksums

why3-dbgsym_1.2.1-2_armel.deb
SHA1: 69d66ea447b793286993a649a7eb254180ed677b
Size: 103,432 bytes

Submissions

9ytsq9pz
Submitted
Mon, 4 Nov 2019 00:15:30 +0000
Signed by
0x8D01D8A51F7D9F50

Environment


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