Source
coquelicot
Version
3.2.0-7
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 13 Aug 2023 02:40:32 +0000
Build-Path
/build/coquelicot-3.2.0

First submitted
Sun, 10 Jul 2022 20:18:38 +0000
SHA1 of .buildinfo
90fc19249da61178d359222145ebc675bfb2d522

Binaries

libcoq-coquelicot (libcoq-coquelicot_3.2.0-7_amd64.deb)
SHA1: 5e5f78eb785a562d70ff8000d4e5a7e79c58314a
SHA256: 98482b6d98b70243b5a55599d335e791fdcd42be9ca690dd9d1bed1f6c0f0eeb

Size: 3,267,332 bytes

Other checksums

Submissions

Submitted
Sun, 10 Jul 2022 20:18:38 +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="1657005732"