why3 (1.3.1-3)_1.3.1-3+b2_arm64.buildinfo (view)

Source
why3 (1.3.1-3)
Version
1.3.1-3+b2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 23 Aug 2020 06:09:29 +0000
Build-Path
/build/why3-F0qtiM/why3-1.3.1

First submitted
Sun, 23 Aug 2020 12:11:07 +0000
SHA1 of .buildinfo
619d41b9b0303f158cacb571d2980841e5b251d1

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-3+b2_arm64.deb)
SHA1: b4ebca4f052cd72bf34600b6f8749eecdace58a3
SHA256: 98c45d9da2558bda4b9afb554dad49f710f3babe29da4771095db128b6ef187a

Size: 9,752,432 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.1-3+b2_arm64.deb)
SHA1: d40076cfb56c8f48578833d9d21fd1c4306b46f3
SHA256: 015cc97db3b5995734142bf254144c178f141485441e1e5470e3f4d602293752

Size: 690,500 bytes
why3 (why3_1.3.1-3+b2_arm64.deb)
SHA1: 9f78d1ee33d08e07e2df825541ef4cb82b1a8e91
SHA256: c92e479572c325951ff13ccf265f596849ee212401aa34235c536773f050684c

Size: 44,569,904 bytes
why3-coq (why3-coq_1.3.1-3+b2_arm64.deb)
SHA1: 51781364dab07e3f2934df23f8b5571802b6227a
SHA256: 9575f6fd72a3a55b11f42e0c209b53c5c4f457e294bb6a257ad3c7066af75f97

Size: 794,828 bytes
why3-dbgsym (why3-dbgsym_1.3.1-3+b2_arm64.deb)
SHA1: b6b8850140cb243297da0f49e0eb08bef48f55a9
SHA256: b768f8de763cd2715bd050c277b57701b23a51cd4fa233f2c5f825629232c5c8

Size: 8,177,168 bytes

Other checksums

Submissions

7cwvo9cn
Submitted
Sun, 23 Aug 2020 12:11:07 +0000
Signed by
0x1FA1E5FB3284BF84

Environment


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