coq_8.9.0-1_amd64.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 16 Jun 2020 21:42:36 +0000
Build-Path
/build/coq-8.9.0

First submitted
Tue, 16 Jun 2020 23:44:57 +0000
SHA1 of .buildinfo
3cc99f5c1e17066582990bccbaa0f5e128c979c5

Binaries

coq (coq_8.9.0-1_amd64.deb)
SHA1: 64f90df90af856e877484277397c97ee2ff725b8
SHA256: df63eeb1a87cd536543f30406c5c9bc9bb758e8f1ac5176db27093a0813b6982

Size: 58,989,904 bytes
coq-theories (coq-theories_8.9.0-1_amd64.deb)
SHA1: ce2c0ebeb9809d8d0b5b2ebaa68fc96c730ba1f4
SHA256: 232a773a73af032d1461e28cc83572823e349886898692d1b114cab38263f1d1

Size: 29,738,560 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_amd64.deb)
SHA1: 6efa9efa3e7412bddbd12e1b1f17df6414cc23b4
SHA256: f5047ea26d2c1f916c38e0f23428748cde7ddf216c1ac90f21f656a43c6415bf

Size: 5,463,968 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_amd64.deb)
SHA1: 5ee3a5fd555c350d79237391e2e898123ee9c298
SHA256: 91cc32fd8f9cae11a806614c0f65da934088ff0d2737f027feb5abd4a282f85a

Size: 13,706,148 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb
SHA1: 2ee7dd890546f23b27d53ff39445e3b01ccbe0ff
Size: 535,192 bytes
coq-theories-dbgsym_8.9.0-1_amd64.deb
SHA1: 3f33b6df90cad5b2883f54f21ce63efef9b227c6
Size: 773,424 bytes
coq-dbgsym_8.9.0-1_amd64.deb
SHA1: a2a2896799a9cfadeb56bad3d8f4675e0b87d1ff
Size: 3,776,548 bytes

Submissions

t7schkmg
Submitted
Tue, 16 Jun 2020 23:44:58 +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="1549474869"