why3 (1.2.0-1)_1.2.0-1+b4_mips64el.buildinfo (view)

Source
why3 (1.2.0-1)
Version
1.2.0-1+b4
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Mon, 5 Aug 2019 16:26:14 +0000
Build-Path
/build/why3-qeg7VJ/why3-1.2.0

First submitted
Tue, 6 Aug 2019 02:26:16 +0000
SHA1 of .buildinfo
81c47c3fc4684e78a196d7549e84dab7eadc468f

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-1+b4_mips64el.deb)
SHA1: fba31b6ba106015e7930849e48bc72c092230a0c
SHA256: 43461f393ca9b4e98ca8257ef8ca469d39b5993630671aef28561aecbc4747a0

Size: 4,097,000 bytes
why3 (why3_1.2.0-1+b4_mips64el.deb)
SHA1: 2b75c6d1f95e05ed81e4cbf56e94d240b41a7558
SHA256: e835a92d05870c22e721a7cfc8404657ab23def5be99392f9352e676f8916eca

Size: 54,108,912 bytes
why3-coq (why3-coq_1.2.0-1+b4_mips64el.deb)
SHA1: 672b8fb93a127683f452d0d2aebe42b72f224e51
SHA256: c4d261102f8413058038f896e3747a13744e61b4673705182cbf6e419301afe2

Size: 596,632 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.0-1+b4_mips64el.deb
SHA1: 431a308483eab4bab02ec036735831a081b27467
Size: 100,332 bytes

Submissions

pvvyyzxf
Submitted
Tue, 6 Aug 2019 02:26:16 +0000
Signed by
0x2378023FC330EAE7

Environment


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