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

Source
why3 (1.2.1-2)
Version
1.2.1-2+b2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 3 Dec 2019 14:06:05 +0000
Build-Path
/build/why3-00oLdZ/why3-1.2.1

First submitted
Tue, 3 Dec 2019 18:49:30 +0000
SHA1 of .buildinfo
956feaadb67f6c4238a85f9921e6858949c026a5

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2+b2_arm64.deb)
SHA1: cd729f37335619e40347953439caa42a5f490726
SHA256: e2bbe1e85656d4d1c49b909ff4d89cb9d51f5c05c0ea829f69d8bd8883df1b02

Size: 8,712,320 bytes
why3 (why3_1.2.1-2+b2_arm64.deb)
SHA1: 4a68591043b61bb458bea4a9751bce3467772678
SHA256: d0d4fcaa01f382b61bcc9dcbbcf197e76dea46a2624d64ee6b806765506f3f55

Size: 39,356,316 bytes
why3-coq (why3-coq_1.2.1-2+b2_arm64.deb)
SHA1: 5a4cf95515a3370e0b8eb9a5aad029a21d1f261a
SHA256: f0c268a0872d5892f440c419fa8284d3908f71c9ddacf39f83d38131bb991454

Size: 595,896 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-2+b2_arm64.deb
SHA1: 7ad215f355817276b47a20bac048953a94ea3ebd
Size: 6,683,340 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2+b2_arm64.deb
SHA1: 227ab2ac9f798107be463fa17898df369dfabe38
Size: 614,968 bytes

Submissions

of44usxy
Submitted
Tue, 3 Dec 2019 18:49:31 +0000
Signed by
0x2052CFAF653F2630

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1575381595"