why3_1.2.0-3_all.buildinfo (view)

Source
why3
Version
1.2.0-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 19 Oct 2019 23:05:47 +0000
Build-Path
/build/1st/why3-1.2.0

First submitted
Sun, 20 Oct 2019 01:51:23 +0000
SHA1 of .buildinfo
d158ea95513d7b4f5b301c96f8991325c6e5c1c3

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-3_arm64.deb)
SHA1: cce76da39c57d20cd0f5bb99980cc19d687f52b4
SHA256: 11d0fdef1c8e85d6ab17f2ff10745369636b037ab2cb3ac6e3a845f630e26cc3

Size: 8,564,736 bytes
why3 (why3_1.2.0-3_arm64.deb)
SHA1: 2a1d361bfd6aaf788ce0e2997019a12dea6157f9
SHA256: 6e1d38618b7956b525a7fd083b12e72d47f1a32621e9f4d9ea58216da130a1e7

Size: 38,359,688 bytes
why3-coq (why3-coq_1.2.0-3_arm64.deb)
SHA1: 301713297b8e9d222aacde969112ec4a8917fdd2
SHA256: c656a878ca7b3d3e39904eb6b20b237e91575bc76ff33a4d6b42b7778efe953b

Size: 596,716 bytes
why3-doc-html (why3-doc-html_1.2.0-3_all.deb)
SHA1: 1fe99c389dca2e181111828bfb21fe0131671794
SHA256: 25e6468a90821a932a7477fb8671a33fced5ba777aa7d090e6ee6eb05f27d5f4

Size: 362,316 bytes
why3-doc-pdf (why3-doc-pdf_1.2.0-3_all.deb)
SHA1: 0df6db56633be326857226fae30aa3e28ba8f6e4
SHA256: b87f580f281b05f25ae0b18c75bd5b31fa1a81d6d41fb520d09a4265e90527f2

Size: 1,274,880 bytes
why3-examples (why3-examples_1.2.0-3_all.deb)
SHA1: e22ec6f0279ab2cea31874705fcfc787b6787a53
SHA256: 877db6d135eac0264d76c3660a8bdb28986be1e672522892d61f43e416c5a707

Size: 2,473,424 bytes

Other checksums

why3-dbgsym_1.2.0-3_arm64.deb
SHA1: 8afcf45b4195fafdf2a5700dba04e0102c4d379e
Size: 6,421,064 bytes
libwhy3-ocaml-dev-dbgsym_1.2.0-3_arm64.deb
SHA1: 517da2ccdd966dd406e0d4d95b6b315a5e1487ab
Size: 605,340 bytes

Submissions

torw4zxm
Submitted
Sun, 20 Oct 2019 01:51:24 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1571164954"