why3_1.1.0-1_all.buildinfo (view)

Source
why3
Version
1.1.0-1
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 9 Nov 2018 23:39:29 +0000
Build-Path
/build/why3-1.1.0

First submitted
Sat, 10 Nov 2018 00:36:29 +0000
SHA1 of .buildinfo
1686518a42b2e0a1e0af0caf7ace05e0bc2e7f83

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1_armhf.deb)
SHA1: 57ae829776d1299fe5f2938be4d78b81fc71dfaa
SHA256: aac67c7ee83cdfb69c5af349b982c8c2b9552c2ad9e72a8bbd4a07eea0f4dd2d

Size: 3,912,716 bytes
why3 (why3_1.1.0-1_armhf.deb)
SHA1: 64180d16e1368d04e84fc5edca0b6a591cc66017
SHA256: c53e93aac3cbeab414890db726f86b35cf87813cf280635f5bce91b7d44a3f79

Size: 13,379,372 bytes
why3-coq (why3-coq_1.1.0-1_armhf.deb)
SHA1: c5e29a3020754036204abf1726c2423337f476db
SHA256: 74cca50ea4d24757aa2f2b8f32328382500a484e371e820d047da0b9a388b428

Size: 588,992 bytes
why3-doc-html (why3-doc-html_1.1.0-1_all.deb)
SHA1: c650dc9710cb3c437e9e6585e4195a7ca622a88b
SHA256: 4fe33339a739606fe0d9979e4cbc51065d9c2075da8ab46dd360db540625b2c9

Size: 355,480 bytes
why3-doc-pdf (why3-doc-pdf_1.1.0-1_all.deb)
SHA1: 101bc416f1fb382536835bcdc622b0ba9dc26573
SHA256: 789da24f8faa3d3843ab3fde01f1cd95ecc8c5abee3747a08ad0181f6ce7b3d5

Size: 1,149,856 bytes
why3-examples (why3-examples_1.1.0-1_all.deb)
SHA1: f32cb887cdaf4f858ad10a1cf7bde7ac2589296d
SHA256: 21028c6220b2ca37695a6cb31e061fb9b12deb8ed08a34c027dbb844eb05b585

Size: 2,775,072 bytes

Other checksums

why3-dbgsym_1.1.0-1_armhf.deb
SHA1: d0b8629e86fd78aed3b8ad69595f9c4e9a5767af
Size: 4,582,792 bytes
libwhy3-ocaml-dev-dbgsym_1.1.0-1_armhf.deb
SHA1: 1d7d33f094a60b4ee30b7bb9633e2da22d472872
Size: 444,480 bytes

Submissions

akc9ax3n
Submitted
Sat, 10 Nov 2018 00:36:30 +0000
Signed by
0x7E32E41C9458C0CC odxu4b-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment


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