3.2.0-1
arm64
Debian
arm64
Sat, 14 May 2022 04:39:21 +0000
/build/1st/coquelicot-3.2.0
407e754a5dd348e08d7e368ebd4307d25a985a16
libcoq-coquelicot_3.2.0-1_arm64.deb
)
1a46d5773e83c567488fef84f05467a5f1fc0bf6
30dce0f037a8730131a85a44283ba6b9c42341894f8c37fd733b076b08b1b49f
0xFDD087C6FCA6B1BE
codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1652118582"