coq_8.9.1-1_amd64.buildinfo (view)

Source
coq
Version
8.9.1-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 20 Aug 2019 04:17:27 +0000
Build-Path
/build/coq-6LTDTP/coq-8.9.1

First submitted
Tue, 20 Aug 2019 14:13:52 +0000
SHA1 of .buildinfo
ba11dce9ee7676497d1b336c1fd5c6e4a74e3ac8

Binaries

coq (coq_8.9.1-1_amd64.deb)
SHA1: 6148ab2433650a8950e370480a87bfc268417edd
SHA256: 4beda8d6707a3ed9ac183f7d3bbd0160b0a959c55d16b0912d2f15cf6048a234

Size: 59,091,992 bytes
coq-theories (coq-theories_8.9.1-1_amd64.deb)
SHA1: 06eab2693a2f76e41bb4e8917c183893c65904d2
SHA256: 789172909754e1265f277ab050332db475d081023cd938d1860f67abdb45a163

Size: 29,716,560 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-1_amd64.deb)
SHA1: b66ad4907c3745807dd8c9367ed5cd340384e6f2
SHA256: 12988d73efd82bfcf7cf181ca82b39500e451bf620b2b9646fde4f634810889d

Size: 5,514,088 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-1_amd64.deb)
SHA1: 5cc90ae8162809014bdfb884c35d7e11dd2e1132
SHA256: 94f834d22fe12b921e8205b88dac72f05de8ac085445714c95be3af13f1510ed

Size: 13,738,444 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-1_amd64.deb
SHA1: c9198191e9e57e142e72605b8fcc4278fa5a2c19
Size: 537,532 bytes
coq-theories-dbgsym_8.9.1-1_amd64.deb
SHA1: 9b6c2e7a105bce4cda9ebfb7a53a88a729bdbada
Size: 772,072 bytes
coq-dbgsym_8.9.1-1_amd64.deb
SHA1: 5eeb7a823391b848236b93ff66d07cd534fbd244
Size: 3,953,852 bytes

Submissions

mpsoas9g
Submitted
Tue, 20 Aug 2019 14:13:52 +0000
Signed by
0x5662D826D856701C

Environment


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