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
Thu, 24 Mar 2022 09:18:03 +0000
Build-Path
/build/2/coq-elpi-1.13.0/2nd

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

Binaries

libcoq-elpi-ocaml (libcoq-elpi-ocaml_1.13.0-2_amd64.deb)
SHA1: f6f4464c152fb580ad15c144a0f6f3a94b2d47df
SHA256: 1e885feafe04ac5a6bf7883be37cb18745f64fbee17703417885a4b7b2893b19

Size: 4,004,548 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

epjkunrc
Submitted
Thu, 24 Mar 2022 09:19:24 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-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="1648070106"