why3_1.2.1-3_all.buildinfo (view)

Source
why3
Version
1.2.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 14 Feb 2020 19:45:26 +0000
Build-Path
/build/1st/why3-1.2.1

First submitted
Fri, 14 Feb 2020 20:59:31 +0000
SHA1 of .buildinfo
3b9097ea1f96ae52a9fac11c92cd5e54c99cae4d

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-3_amd64.deb)
SHA1: 201f4f11cb42a9d93f6c5ef70e327a7436b458fa
SHA256: e83e035260f9749980934cc2bf1eeee68d555c87d5fd1a02d16ad15ba8196d9f

Size: 7,960,704 bytes
why3 (why3_1.2.1-3_amd64.deb)
SHA1: 44eab0ab92073a50d55a5b9db0f18937c46df0b2
SHA256: 835d84643d16a75680163b18f7ece3067c2544d980ca31081454a72272a27114

Size: 30,771,864 bytes
why3-coq (why3-coq_1.2.1-3_amd64.deb)
SHA1: a667348b84df6c7066547abfb38d68fae49a7923
SHA256: 981a3772885d0916e2b1bca5f96faf1043940503574d8363f32d4e80c7330869

Size: 596,448 bytes
why3-doc-html (why3-doc-html_1.2.1-3_all.deb)
SHA1: a71186ffde35ff5b34082e87895cc7cde6044a1b
SHA256: a73d168c6cfb181e52ee07d6ef2558edecc626797c2787fac8e16f11a2c98d58

Size: 362,604 bytes
why3-doc-pdf (why3-doc-pdf_1.2.1-3_all.deb)
SHA1: 9292a9c3f040fb3a88b4341c778523e5745091b0
SHA256: af7fbb576ddc6d4ebf9872e9ca42c85c2ef84c5eeff94b8c48af18c824238323

Size: 1,274,760 bytes
why3-examples (why3-examples_1.2.1-3_all.deb)
SHA1: 93daca0891c5efbdf2fd1823f39c95e57281fd39
SHA256: 39061b77af0ec60ef1a22f78aed8b88c954d8c4cb7111f8259040c15f295c084

Size: 2,473,820 bytes

Other checksums

why3-dbgsym_1.2.1-3_amd64.deb
SHA1: 975a1943ca1c7bdb87f1746dfb737e12ce97a2aa
Size: 6,667,352 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-3_amd64.deb
SHA1: 95a0fe176b3775e4bdee620412ad0b29e11aa2e4
Size: 544,088 bytes

Submissions

3zrzjjpx
Submitted
Fri, 14 Feb 2020 20:59:31 +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="1581339471"