coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 23 Nov 2018 02:54:49 +0000
Build-Path
/build/coq-8.6

First submitted
Fri, 20 Oct 2017 20:32:01 +0000
SHA1 of .buildinfo
a2c6a0d61530932227bc75f36e4d0a4dfc4dff01

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: 63a9a2dd815ada2f0c62ce4f34d9c53ea493b1d7
SHA256: 0aa7e6db1d6fe34a705a76b467b42f4e8f342c9c9d6107f9f94b7a4e062b2c15

Size: 13,995,172 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: 1925de44d96719cef09a58e00c7f8ddd68833d06
SHA256: 7755aa1fbafa24f567608f667af10a17b2e73a4f1a66d8c81167eb3ca43430dd

Size: 1,415,712 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: e289cde257a48c0e972736abeab4d665511cbbd9
SHA256: 00cf41c3b7d2c98f8c92aefa18e300071432c8af402a9afefbe65c253e9ca37e

Size: 31,414,856 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: 155c1929f86158eb6c5e2e38ffbcdc75fc55c9eb
SHA256: ec13c7279ef3ec6f6c80e1fa50b7461bd70407422b59dfa0ca48935446079a4f

Size: 3,508,444 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 44811edac39d3715cdd06f1893035f795b34b983
SHA256: b8c97fb8f0ac357e0fa162323dc625e886deb472c6431e864797901cea0f50de

Size: 13,294,012 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 498ee3b6cabbffd9fec9914ce4ef9706bc97f627
Size: 81,364 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: 7db25b6c6398dd305ec37bcddfcc09dfea3dc215
Size: 265,318 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 64fd1af0013069235ca47dd8420e031c79a5234e
Size: 363,776 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: dd24c58e18c382429373f0f3edf18d3eb0ef2c65
Size: 849,380 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 8710c4e2efc9803b3f15f54e9ca925689484d4ae
Size: 1,326,340 bytes

Submissions

fjpnfidi
Submitted
Fri, 20 Oct 2017 20:32:02 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"