ssreflect_1.14.0-6_all.buildinfo (view)

Source
ssreflect
Version
1.14.0-6
Architecture
all

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 12 Feb 2022 17:51:00 +0000
Build-Path
/build/2/ssreflect-1.14.0/2nd

First submitted
Sat, 12 Feb 2022 17:52:32 +0000
SHA1 of .buildinfo
95103cba072f58f1177518b8c1bf06af3c515c52

Binaries

libcoq-mathcomp (libcoq-mathcomp_1.14.0-6_all.deb)
SHA1: c2927f29b07a4c4f6324da5cd0b504885095f73e
SHA256: e52b9c11d829eff850edafacc28b21821d3dca2f3b9f0b319bd65be0d756b5dd

Size: 3,152,744 bytes
libcoq-mathcomp-algebra (libcoq-mathcomp-algebra_1.14.0-6_all.deb)
SHA1: 7d1a4335fa9d226b031b73944e6accc034c69bdd
SHA256: 78e3f662fa2ea4e15a83afe2a9939192875bef05eaa154b6dc2099ba6f5b343c

Size: 6,404,504 bytes
libcoq-mathcomp-character (libcoq-mathcomp-character_1.14.0-6_all.deb)
SHA1: 92b4b8724e0335713240dfacc2703fc3c88727c6
SHA256: 3c28cb04b2c650da5cf84de30f7eaf1c5dbe73aafd5cf09f4d59ab59a83a1584

Size: 3,966,608 bytes
libcoq-mathcomp-field (libcoq-mathcomp-field_1.14.0-6_all.deb)
SHA1: b063480680c35cefcea52d15a658cb9d1a4ed1cf
SHA256: c1186208cd748d5ff359dde2dc167491de75f2f76ec88df7f81165d2c2483736

Size: 2,794,872 bytes
libcoq-mathcomp-fingroup (libcoq-mathcomp-fingroup_1.14.0-6_all.deb)
SHA1: d906591fd1dfd9169ef31645338b5f076720a51b
SHA256: 026041d6bdb809f0fa58c0270f4267e9c2fedb05db116edbd9701f8c9373742c

Size: 1,893,200 bytes
libcoq-mathcomp-solvable (libcoq-mathcomp-solvable_1.14.0-6_all.deb)
SHA1: ccee423631d50518688b4438b18ec32f7945e75e
SHA256: c88ada289cb101f408127ed2a4a84901e29e12e6003a47593a5fa2de886baf38

Size: 4,611,776 bytes
libcoq-mathcomp-ssreflect (libcoq-mathcomp-ssreflect_1.14.0-6_all.deb)
SHA1: d7a12de2882740f1b65c8bfd60e5e89012f4a194
SHA256: 4131915926a7a95573c0abf48722c029422ceb2bb9e3f6b69aa2b082b729a82b

Size: 4,109,848 bytes

Other checksums

Submissions

zeor7gkh
Submitted
Sat, 12 Feb 2022 17:52:32 +0000
Signed by
0xAEC7FC78A3E8B530

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1644488689"