why3 (0.87.3-2)_0.87.3-2+b6_armhf.buildinfo (view)

Source
why3 (0.87.3-2)
Version
0.87.3-2+b6
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 13 Oct 2017 16:05:01 +0000
Build-Path
/build/why3-CG3JJY/why3-0.87.3

First submitted
Fri, 26 Oct 2018 10:14:54 +0000
SHA1 of .buildinfo
0bfe9fd7a41967e404bda8f85cbcfb8a9c61e62a

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2+b6_armhf.deb)
SHA1: 9d79b4641103f7c651a2a78111b0afc9781577fd
SHA256: 7191cf6898bc6b66c98f4f941fe5e64b90249ae179379e4d58eea1953c1e60b3

Size: 4,917,088 bytes
why3 (why3_0.87.3-2+b6_armhf.deb)
SHA1: 6938ba5d8223b6007eee24b11de5d2ba504f3143
SHA256: a24beda3259a5957c091c54d6e0e6f1be8a0bef49ff88ea3b50966f69ebae678

Size: 12,716,578 bytes
why3-coq (why3-coq_0.87.3-2+b6_armhf.deb)
SHA1: 4ccb37d248e321b68458287194365ca404769a76
SHA256: 02e38bfb0187bceb654f00d6ac579dc1ae27c48539d54b56dbf6ec22d7b8c5ca

Size: 5,148,620 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.87.3-2+b6_armhf.deb
SHA1: 3d4368d06602fc6219a24c93491c659537f71cd0
Size: 4,050,456 bytes
why3-coq-dbgsym_0.87.3-2+b6_armhf.deb
SHA1: 963dcd5cb8f668cb1bcd256b7b8967a426061867
Size: 380,078 bytes

Submissions

vdvmrdrr
Submitted
Fri, 26 Oct 2018 10:14:54 +0000
Signed by
0x0D38788588CEE7B3

Environment


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