why3 (1.3.3-1)_1.3.3-1+b1_mipsel.buildinfo (view)

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

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Thu, 15 Oct 2020 14:35:16 +0000
Build-Path
/build/why3-YUgGzH/why3-1.3.3

First submitted
Thu, 15 Oct 2020 18:14:20 +0000
SHA1 of .buildinfo
429032faad446c9772804b794b93e5977ba872d7

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1+b1_mipsel.deb)
SHA1: aaf6a12241d03667b661360cf97c929b396cc89b
SHA256: 5a004b20aa7603675d2e806ef63e9be872216e1ccaf87b5f27678e09dd2fca30

Size: 5,396,652 bytes
why3 (why3_1.3.3-1+b1_mipsel.deb)
SHA1: 91cea06f66d94b44b87a2e31f594f5f5d256fd25
SHA256: 1c68b99a40b04fa2de4a85fa98811b22c10b85c3756be545caf25ecfa0a9dfee

Size: 86,863,388 bytes
why3-coq (why3-coq_1.3.3-1+b1_mipsel.deb)
SHA1: 414407660844b5c5236187972e1f7271ab028661
SHA256: dd721e49215f6656715ee20d38e6c709d4e4679f31d52ab12f8b5d286dadee9f

Size: 756,736 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1+b1_mipsel.deb)
SHA1: 402f76d29d3303a75073d14a076abab93d40c956
SHA256: c8783ed6b21c1ffe7d5794c9be885c4c38008805acebd621c5f6e89d3043067a

Size: 99,836 bytes

Other checksums

Submissions

mff49idg
Submitted
Thu, 15 Oct 2020 18:14:20 +0000
Signed by
0x8E885972C3744EDC

Environment


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