why3_1.2.0-3_all.buildinfo (view)

Source
why3
Version
1.2.0-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 30 Nov 2020 03:20:49 +0000
Build-Path
/build/2/why3-1.2.0/2nd

First submitted
Mon, 28 Oct 2019 21:23:56 +0000
SHA1 of .buildinfo
5e1fb141823a5d6d7da641b216001e7c493a6b1d

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-3_i386.deb)
SHA1: ab9b9b1d8dc1de24e17caa03b69564886829a500
SHA256: 659066d378e4cb8beb94410fded05fbd27fe95e61b91f7797ebec6484bd3e027

Size: 7,511,392 bytes
why3 (why3_1.2.0-3_i386.deb)
SHA1: f5202e6ac9eedd6a45c48655c8c585bb7b0e37f3
SHA256: d3fa72bf26ae929216f6b32217eaf2bff2fd02fd251990b4bcc6ac5f576c8969

Size: 20,045,396 bytes
why3-coq (why3-coq_1.2.0-3_i386.deb)
SHA1: 59e6fe200cd4aff38d091767ffa5ad9dda0e06d7
SHA256: 13fbecee5bd2a53649a8d9a5d2285b514fee47be85632bda729e4cbdb97aa033

Size: 602,116 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_i386.deb
SHA1: d0d782335b7324dc12c3ac79e9e39b5f3d23c1b1
Size: 5,925,708 bytes
libwhy3-ocaml-dev-dbgsym_1.2.0-3_i386.deb
SHA1: 7b104d6d5777fab863677cc595e1e88504d948b2
Size: 497,828 bytes

Submissions

939duxpv
Submitted
Mon, 28 Oct 2019 21:23:57 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1571164954"