why3_1.3.1-2_amd64.buildinfo (view)

Source
why3
Version
1.3.1-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 7 Apr 2020 19:43:28 +0000
Build-Path
/build/why3-ox1YdW/why3-1.3.1

First submitted
Wed, 8 Apr 2020 00:14:06 +0000
SHA1 of .buildinfo
bccbb6cb4f8ff45f9e88a8a32ef098800380959e

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_amd64.deb)
SHA1: 5235340ebed568d7380f0614ac8b1fbc2c4e7ffb
SHA256: d39499b311ca44f4d9de83e83dc57ace1ab4c7ad4ed3b1f00e40d580f69164e3

Size: 8,711,120 bytes
why3 (why3_1.3.1-2_amd64.deb)
SHA1: ef4424fd3e57f259ad485e7b27284ebd2767803e
SHA256: 8942bb46102866cb89e3765d973c41ce185e4a62577aff71978a8010f0ada511

Size: 34,028,008 bytes
why3-coq (why3-coq_1.3.1-2_amd64.deb)
SHA1: 11e91e231df6465981806ce18ca3fc75ded97409
SHA256: bf521ede7b6555ad3b0a0596379baf9ca18fa8d76ac8d88985eafe1a79d683f3

Size: 799,024 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.3.1-2_amd64.deb
SHA1: 213aea75c4c288b1fc443172d52d6bd55b70b427
Size: 7,859,980 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_amd64.deb
SHA1: 24fa10cf29a00224d2de0f2e9b437876afc441af
Size: 595,288 bytes

Submissions

rmmdo4dw
Submitted
Wed, 8 Apr 2020 00:14:06 +0000
Signed by
0xE9BEE1DBDA111424

Environment


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