why3 (1.2.1-2)_1.2.1-2+b3_armel.buildinfo (view)

Source
why3 (1.2.1-2)
Version
1.2.1-2+b3
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Wed, 22 Jan 2020 15:31:24 +0000
Build-Path
/build/why3-6zgTdc/why3-1.2.1

First submitted
Wed, 22 Jan 2020 18:52:38 +0000
SHA1 of .buildinfo
ba50004d90aae1edb7bc961f2026adcb4b0166e0

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2+b3_armel.deb)
SHA1: 1b8d89344a99821c38f6a50fcd63460851b7b79a
SHA256: 189c0fc5a5e1df8a82f0aeceb52e5df73d05541db0d9092d3c71eb39ab942f3b

Size: 4,218,204 bytes
why3 (why3_1.2.1-2+b3_armel.deb)
SHA1: 36f79c25c711b79d493a480e9b863cfddd84ffa7
SHA256: cddf00b3ad311eadc3eedacced6381eb5b6220f900495209026418a574550503

Size: 58,239,392 bytes
why3-coq (why3-coq_1.2.1-2+b3_armel.deb)
SHA1: df8a45e1d6d22b81c5165c99d4d51091f7100a0b
SHA256: c94695e60e9ecebefa82ec2c439c22d2dbf5241dd1b45d1dd3fee62b851348e7

Size: 596,996 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-2+b3_armel.deb
SHA1: 1d1fd277f722ed5f993296f6e1d5c636648c3720
Size: 105,780 bytes

Submissions

fv4xzt4t
Submitted
Wed, 22 Jan 2020 18:52:39 +0000
Signed by
0x8BD0495DE0383C4A

Environment


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