coq_8.9.1-3_arm64.buildinfo (view)

Source
coq
Version
8.9.1-3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 26 Feb 2021 17:53:49 +0000
Build-Path
/build/1st/coq-8.9.1

First submitted
Sat, 25 Jan 2020 18:38:23 +0000
SHA1 of .buildinfo
fc9e6c2cc2aafcec49db3fcf7559d1b53191d642

Binaries

coq (coq_8.9.1-3_arm64.deb)
SHA1: aedbf32da05daff943eb103c37acf5cff333db42
SHA256: 2944524c7d42489f34d65d2a31eb6fbc27f2ff299c02f754c2c663175e284e2d

Size: 76,881,812 bytes
coqide (coqide_8.9.1-3_arm64.deb)
SHA1: 2aaac534208644b7a754588896fcac6d52f7e915
SHA256: 6453b6fba2ff2d4ff2f46dda9f310890a2aba41f958ac7649d0aaab77d202eb3

Size: 2,206,904 bytes
coq-theories (coq-theories_8.9.1-3_arm64.deb)
SHA1: d1ae3d84d8fa0e79277716955e5c7e64ea0e6897
SHA256: ef2242de46dd09e66eaea8c31215192d8c60906b8499aeaf08b7c5c00c88ca3a

Size: 20,357,988 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-3_arm64.deb)
SHA1: 3a4030a167b45a2d67597bc1225c20075201d78c
SHA256: ba30f788b75721a3abcdb7d1e9c0011edc9a651e6bd88f1fd09d04e0de816aac

Size: 6,054,428 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-3_arm64.deb)
SHA1: 4a19272d757bc994b0c1f27ccac4ba5f32d36bb8
SHA256: 9132cac6a5af02735dd31db0db52cf50db3f9d6ef39dbce529fa926d783bd904

Size: 15,418,100 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-3_arm64.deb
SHA1: 966d83563dab4009131002ecf6141854929f56b4
Size: 528,568 bytes
coqide-dbgsym_8.9.1-3_arm64.deb
SHA1: bb7f3ed61e3dc8f09b911a8679ce2f64f4c1683f
Size: 532,712 bytes
coq-dbgsym_8.9.1-3_arm64.deb
SHA1: fe633b30126e1397b66a830bc36ef9c1bd1e6cbb
Size: 5,074,352 bytes

Submissions

fe4k7ktd
Submitted
Sat, 25 Jan 2020 18:38:24 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1579899515"