Source
coq-corn
Version
8.13.0-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 1 Sep 2023 06:23:45 +0000
Build-Path
/build/coq-corn-8.13.0

First submitted
Sat, 30 Jul 2022 01:18:47 +0000
SHA1 of .buildinfo
3fdcf7ce859c43da573223e8b6d519401f315cb4

Binaries

libcoq-corn (libcoq-corn_8.13.0-1_i386.deb)
SHA1: 66db30469dfab31d3696e9e959df6f9330d06fff
SHA256: fc7d8d9f2eb269dbc78304023755df47400447d96b790d9a996164084dfa4754

Size: 11,264,752 bytes

Other checksums

Submissions

Submitted
Sat, 30 Jul 2022 01:18:48 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


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