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

Source
why3 (1.3.3-1)
Version
1.3.3-1+b2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 29 Nov 2020 09:03:07 +0000
Build-Path
/build/why3-ojKbcj/why3-1.3.3

First submitted
Fri, 4 Dec 2020 04:12:43 +0000
SHA1 of .buildinfo
59d34bb37a19035fe8164d387ba06b6ad4b048e3

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1+b2_arm64.deb)
SHA1: 1932cd3d4320a485e58027f2dd6bb2d48b505279
SHA256: ab087e53ae3347bf2b4dba2768a3e574d2ad1dcaaa67dc681dfb38fcf0a17ca3

Size: 10,083,652 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.3-1+b2_arm64.deb)
SHA1: 3e2e6d6f66f77ab5f9a14e4093ce495a5e1c88ca
SHA256: add97cda86185f010d3cccaa05d13a82129abae3437118d41f7364523c91bd24

Size: 586,152 bytes
why3 (why3_1.3.3-1+b2_arm64.deb)
SHA1: e90a819135135e2b33cd143be52a6603c45075eb
SHA256: 18a86754a7cd867a20596cffd5000de4418324b05edbaf983329ce8dc77a35ae

Size: 47,001,396 bytes
why3-coq (why3-coq_1.3.3-1+b2_arm64.deb)
SHA1: 3e8bc68db623e0c824752a5ab2bc10a2726e408b
SHA256: 1d8ec2593da0c6be2014d30d69808942dc1f5d93ed949a861081a42b3dd0f34e

Size: 757,168 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1+b2_arm64.deb)
SHA1: 2b74a2aa469122d34681c29b6e9b6494821d1eb0
SHA256: 0c173c6c81587a59b007587d48d0d095b1f817aac9830d9f6a8f578b09d369e2

Size: 9,145,652 bytes

Other checksums

Submissions

rdjczo3e
Submitted
Fri, 4 Dec 2020 04:12:43 +0000
Signed by
0x1FA1E5FB3284BF84

Environment


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