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

Source
why3 (0.87.3-2)
Version
0.87.3-2+b3
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sat, 22 Jul 2017 19:07:05 +0000
Build-Path
/build/why3-FXj2tj/why3-0.87.3

First submitted
Sun, 28 Oct 2018 02:22:30 +0000
SHA1 of .buildinfo
bbf80ccb1b9cd1553328ceac46171a3dae56224b

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2+b3_armel.deb)
SHA1: 30c42770de02c1de83609e209c5093a8f642f27b
SHA256: f58859632c4c03dc7d31a3dc52cf1d6a96f3db30ae29e79698607c780f1fbcf4

Size: 4,898,580 bytes
why3 (why3_0.87.3-2+b3_armel.deb)
SHA1: c067f54f6b4a295fb21ce17bba3410cbb7af7cd6
SHA256: 0746812daae01e476bf251d0f6a32f52e6d4e5297206ce7838caed99752c03ea

Size: 11,462,558 bytes
why3-coq (why3-coq_0.87.3-2+b3_armel.deb)
SHA1: 617e570ecf0b98cbebe9074c5ac2a495aedb4a44
SHA256: b7b9dca455c366aa4acf2381a7317a4b8cf16d782df0a334b4502eb545309c24

Size: 5,155,918 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.87.3-2+b3_armel.deb
SHA1: c2b94c398a99d3a8820e3b62c4a30c279457d7cd
Size: 4,117,110 bytes
why3-coq-dbgsym_0.87.3-2+b3_armel.deb
SHA1: 7e89b2f3fbba9ddcbb7621ad407dca62b1e8dc61
Size: 315,182 bytes

Submissions

gobs9rjq
Submitted
Sun, 28 Oct 2018 02:22:30 +0000
Signed by
0x9B1376D7888B346A

Environment


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