coq-ext-lib_0.11.6-2_amd64.buildinfo (view)

Source
coq-ext-lib
Version
0.11.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 9 Aug 2022 10:03:07 +0000
Build-Path
/build/2/coq-ext-lib-0.11.6/2nd

First submitted
Tue, 9 Aug 2022 10:03:15 +0000
SHA1 of .buildinfo
0676464b7704d0e0f98c490ec2b907f20739f3b0

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.6-2_amd64.deb)
SHA1: 17b4fcc5fabc33b107ffd2e7f2074148300d4d14
SHA256: 2f111b6c7bdb0a22b7233ffb45361fa094e281b6f5c7c46f4ad821b968f9d593

Size: 763,596 bytes

Other checksums

Submissions

7iweadav
Submitted
Tue, 9 Aug 2022 10:03:15 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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="1657967831"