why3_1.3.3-1_arm64.buildinfo (view)

Source
why3
Version
1.3.3-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 23 Sep 2020 21:03:48 +0000
Build-Path
/build/why3-zosEbg/why3-1.3.3

First submitted
Thu, 24 Sep 2020 00:12:29 +0000
SHA1 of .buildinfo
580f40c1d0eda80446154196c1f815c0717a1d1c

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1_arm64.deb)
SHA1: c5bfd8a5c341c6977044876685ec2634d18a77c4
SHA256: 8406bed09c4bd1e87d639969d39637ef400bb9d9f3f84c9f85881dd349f93701

Size: 9,763,208 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.3-1_arm64.deb)
SHA1: 78f8e40fb1fc4ded609c777abd074ab2c4c2b389
SHA256: 0e070f77b49359da36f0e36f4dd1a4ef6c89142b7634d2858ffb16dd8c788a95

Size: 691,188 bytes
why3 (why3_1.3.3-1_arm64.deb)
SHA1: a7adb12ee9c2a97b62f46e34d0bd1f66fb799e5a
SHA256: f55103074722a19bb714b62ff767ff837a4d1250e730cb8761bbd203a2384729

Size: 44,595,236 bytes
why3-coq (why3-coq_1.3.3-1_arm64.deb)
SHA1: 58933c146137645c55829ada565d6c082df90e56
SHA256: 707194e9fd675642175da7f9348c523a11bc494098bf9b5c83f95817976183f1

Size: 756,964 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1_arm64.deb)
SHA1: 67368873ac9f6809b7597deb0789bcd06a94e188
SHA256: ccabc5503ea1068e4715116f16c8ebbaaaa61a6abd3bdd97be9b11bc84046067

Size: 8,014,032 bytes

Other checksums

Submissions

ghezb93d
Submitted
Thu, 24 Sep 2020 00:12:29 +0000
Signed by
0x1FA1E5FB3284BF84

Environment


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