why3_1.2.1-5_all.buildinfo (view)

Source
why3
Version
1.2.1-5
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 8 Mar 2020 22:36:11 +0000
Build-Path
/build/1st/why3-1.2.1

First submitted
Sun, 8 Mar 2020 23:50:37 +0000
SHA1 of .buildinfo
fb96d23a70921823d8b7a14039e71a82c927178a

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-5_amd64.deb)
SHA1: e7175c598e73c3a338de46ecb3189cc2dc49f0cb
SHA256: 48b0c6bb7cd9e708fc4e4a7a34b468d01e53c3925b6c38b5addbc9dab6a65a45

Size: 7,964,232 bytes
why3 (why3_1.2.1-5_amd64.deb)
SHA1: 2d962960d88e9bf2842c6446a2f18fdb7c510121
SHA256: fc646c497929bfcc709cfdb133d659747880226b30ca22a7a2b38fb6041c2f39

Size: 30,776,364 bytes
why3-coq (why3-coq_1.2.1-5_amd64.deb)
SHA1: 4caa18868431a43bc4c047fb7c23e46d13a1c916
SHA256: 076f9159178465487d7da739043d88dd6e1a516e623ae8901fb66840974d6a1c

Size: 596,324 bytes
why3-doc-html (why3-doc-html_1.2.1-5_all.deb)
SHA1: ed55e7d94e13beb3bcaa6138f64d313f1cb9f78f
SHA256: 06ea469ea2319c5221970e97778e3edeca4de15b6e8c4adda145f33c9a9e24c9

Size: 362,860 bytes
why3-doc-pdf (why3-doc-pdf_1.2.1-5_all.deb)
SHA1: 06e607187b5a4d17334a9432904af4fa17af096f
SHA256: 72f02456892a0a2ba0719c13809b1ac4381306392d69d1045a5ecf8ca8f355e3

Size: 1,275,260 bytes
why3-examples (why3-examples_1.2.1-5_all.deb)
SHA1: 188f01b4a73c2dc9ce637b38ffde2c5ade055694
SHA256: b6a516d4fcb77fbeffb2e17825e00d8d44a4c24d321feadcca015b18a322e223

Size: 2,474,484 bytes

Other checksums

why3-dbgsym_1.2.1-5_amd64.deb
SHA1: 587f608857b7dac2f6589536060e83339fb621b6
Size: 6,634,800 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-5_amd64.deb
SHA1: 6d54ac5c977f66de14c6db14e6798ec3489dd726
Size: 544,092 bytes

Submissions

gqwn4zd9
Submitted
Sun, 8 Mar 2020 23:50:38 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1583685253"