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

Source
why3 (1.2.1-2)
Version
1.2.1-2+b2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 3 Dec 2019 14:19:36 +0000
Build-Path
/build/why3-iSWlko/why3-1.2.1

First submitted
Tue, 3 Dec 2019 18:49:33 +0000
SHA1 of .buildinfo
017cde45c4cc6cb28eb43dcd8687da9d0be90f3d

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2+b2_armhf.deb)
SHA1: 235ddd03994ccd344dc278b6a223447c88ce7824
SHA256: 2217fe9ca9c4d77627a74d7564234a789a3e171dd3ada2b72462ca7df3d867fd

Size: 8,069,744 bytes
why3 (why3_1.2.1-2+b2_armhf.deb)
SHA1: 7a22b19f35628f187427ae7bd5d684e22eea44b3
SHA256: 29182eb759d35f63eb35f4a166f50add8d9a9488e0633a8b7b45f8104560575a

Size: 20,393,032 bytes
why3-coq (why3-coq_1.2.1-2+b2_armhf.deb)
SHA1: 0fe343f7ebaecfbf68a97c5700b6c0e35146081e
SHA256: d8db526ddd7f62c1a0c477cd86cb912a5985a1f9065d04ff2f158bbf9c4bd471

Size: 597,084 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-2+b2_armhf.deb
SHA1: f354df1efc5af96d8b1c6b84e2a5d459a20ba568
Size: 5,621,228 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2+b2_armhf.deb
SHA1: 079dede3a590f3dd6ce7109aff7f6fab9c1c322a
Size: 464,416 bytes

Submissions

pajbt74d
Submitted
Tue, 3 Dec 2019 18:49:34 +0000
Signed by
0x6A588AAFDA7ABFE9

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1575381841"