coq-elpi_1.13.0-2_amd64.buildinfo (view)

Source
coq-elpi
Version
1.13.0-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 26 Apr 2023 15:36:41 +0000
Build-Path
/build/1st/coq-elpi-1.13.0

First submitted
Thu, 24 Mar 2022 09:19:23 +0000
SHA1 of .buildinfo
b4ce6bbb3b0c6daf532cfe8815d8f68a11d262e1

Binaries

libcoq-elpi-ocaml (libcoq-elpi-ocaml_1.13.0-2_amd64.deb)
SHA1: e4c61d90950a31c688b5499994cf30d4e8b1a221
SHA256: 0f6052a16c8f7f4979c245903808c8c77976229bfcaf17c65689843f58bbe071

Size: 4,006,068 bytes
libcoq-elpi-ocaml-dbgsym (libcoq-elpi-ocaml-dbgsym_1.13.0-2_amd64.deb)
SHA1: 50e22936e92537fff5f9eec34fa626c0be9f40a4
SHA256: 68fecb6225a47a1ac3ab2280846c365911d06be5e4f739626c1c1a6742423ecf

Size: 230,984 bytes
libcoq-elpi-ocaml-dev (libcoq-elpi-ocaml-dev_1.13.0-2_amd64.deb)
SHA1: 03df3d0382596bffab59a0ca6ab8d22910d65ab8
SHA256: c67fbd1a48262dafba272b05c2da76c2a1ccceeca987617d900b0d1c32b03f6f

Size: 1,289,908 bytes

Other checksums

Submissions

snn7azmn
Submitted
Thu, 24 Mar 2022 09:19:24 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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