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

Source
why3 (1.2.0-1)
Version
1.2.0-1+b1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Tue, 23 Jul 2019 14:28:54 +0000
Build-Path
/build/why3-3msiLM/why3-1.2.0

First submitted
Tue, 23 Jul 2019 19:02:01 +0000
SHA1 of .buildinfo
d0fd22c184df5e1fe49a114c5c198a909a7fcdda

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-1+b1_mipsel.deb)
SHA1: 75dbba3eaa401dd74af90fa9d3dde1eed0462bed
SHA256: 75547fcc6e392b9f2e2bc1fa6cba00df971618d616af6a12e8cdae57417a0580

Size: 4,094,728 bytes
why3 (why3_1.2.0-1+b1_mipsel.deb)
SHA1: 33db20281838cf63b315415eefdf40329568d454
SHA256: 619bb1cd3997d65a1fb640e4a97dd3b9a8732e1428179f5a1520c8de063c9878

Size: 54,146,212 bytes
why3-coq (why3-coq_1.2.0-1+b1_mipsel.deb)
SHA1: 1eabb838991dbba54e6eb488b0008da318754e09
SHA256: 27225caf7d937c2a76fcf99267f5f0c7326155fc3ac12fa48b4b5e54174afc7d

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

Other checksums

why3-dbgsym_1.2.0-1+b1_mipsel.deb
SHA1: 901371304016353777cdadcfc037571da34c1d50
Size: 96,680 bytes

Submissions

as3n99ap
Submitted
Tue, 23 Jul 2019 19:02:01 +0000
Signed by
0xB075D1D099E610D9

Environment


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