coq-elpi_1.13.0-5_all.buildinfo (view)

Source
coq-elpi
Version
1.13.0-5
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 17 May 2023 03:11:01 +0000
Build-Path
/build/2/coq-elpi-1.13.0/2nd

First submitted
Wed, 13 Apr 2022 20:49:12 +0000
SHA1 of .buildinfo
d862e7582ab3ade2aecb6b3960013c117cab6f7b

Binaries

libcoq-elpi (libcoq-elpi_1.13.0-5_all.deb)
SHA1: 9853114e8cc8b85fe12ddbca997207d4c37e2d24
SHA256: 4554c75817afcfcc6f2e430727e00b2f1fb5eea67a3160b9406a6bb9d3bce079

Size: 456,272 bytes
libcoq-elpi-ocaml (libcoq-elpi-ocaml_1.13.0-5_i386.deb)
SHA1: fe384a2b8554c51e713985df56716938d2858584
SHA256: 0dfc82f9f8f2298cda5362ffd3949b4cbfad692c46abb1bc6f5d468207bc6a5e

Size: 3,446,292 bytes
libcoq-elpi-ocaml-dbgsym (libcoq-elpi-ocaml-dbgsym_1.13.0-5_i386.deb)
SHA1: 3160e8319144dfc08925a40fb24afc1287cf5e6e
SHA256: 426fdd3e59b9c79ad29329f1bd587a313c86a7066626d22236c142bfebaeb632

Size: 224,524 bytes
libcoq-elpi-ocaml-dev (libcoq-elpi-ocaml-dev_1.13.0-5_i386.deb)
SHA1: 673e8a0c48f0cd854bc9105b05970437e87c4c3a
SHA256: f0a1e557e74ad1e81f46167549cc080c278bc8ebeb18e582f1bceb187b7946a5

Size: 1,278,028 bytes

Other checksums

Submissions

itxyceyk
Submitted
Wed, 13 Apr 2022 20:49:12 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1649833311"