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, 21 Nov 2020 05:45:11 +0000
Build-Path
/build/2/why3-1.2.0/2nd

First submitted
Sun, 20 Oct 2019 01:51:56 +0000
SHA1 of .buildinfo
1a16d92a1ceb9dea5dc2e46ee7eeed0b26f768b6

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-3_arm64.deb)
SHA1: cb0b193e8750b9b8c4c304bce8ee1f16fc4ba112
SHA256: bd719d1e62b5b970afc29d84abbb8efb17f575d215deca7a330a921695d544f5

Size: 8,565,968 bytes
why3 (why3_1.2.0-3_arm64.deb)
SHA1: 7563ab101be110515db8a4bbc111a1da8b2c5c0e
SHA256: cbf94c760d91416880a9d9e56a56fd928788c01d680e86a6b4cda9ff6302d308

Size: 38,296,932 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: dd6d5ce93d7778cacfe765165e85ae578f1435fe
Size: 6,471,740 bytes
libwhy3-ocaml-dev-dbgsym_1.2.0-3_arm64.deb
SHA1: 6938941ffc549345179b1680b6b36726e8317700
Size: 604,664 bytes

Submissions

b4e79m4u
Submitted
Sun, 20 Oct 2019 01:51:57 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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"