ssreflect_1.14.0-8_all.buildinfo (view)

Source
ssreflect
Version
1.14.0-8
Architecture
all

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 24 Mar 2022 06:12:59 +0000
Build-Path
/build/1st/ssreflect-1.14.0

First submitted
Thu, 24 Mar 2022 11:04:36 +0000
SHA1 of .buildinfo
145e5d0d456910194bb01fcd2d61c09d7bf97176

Binaries

libcoq-mathcomp (libcoq-mathcomp_1.14.0-8_all.deb)
SHA1: 554f228fb2ecb852522c6b36d9981f276ea9c535
SHA256: b6497b601de7bb332ab4d1318de444e84bd6a9620c17a6f3e2cce47983b8fb06

Size: 3,152,328 bytes
libcoq-mathcomp-algebra (libcoq-mathcomp-algebra_1.14.0-8_all.deb)
SHA1: 72e7cc6813185634412909fa7ba45d959d55c161
SHA256: 79a8a7d16f159c564e50a878149df8064dc0344832e95d04e36d8bb1f437dbd8

Size: 6,411,792 bytes
libcoq-mathcomp-character (libcoq-mathcomp-character_1.14.0-8_all.deb)
SHA1: 3dd5dc1e91466e530237f83d869bbcaae6429b5a
SHA256: 176f3b33ecbf025493c2ab7a27dc06f1b53e4d99c80e31d9551d5fd895bcb32c

Size: 3,968,224 bytes
libcoq-mathcomp-field (libcoq-mathcomp-field_1.14.0-8_all.deb)
SHA1: fd2d452bed0d8d05b68f78f02263e47ae4479f87
SHA256: c22253ab544239609f2c4d13b79afbfe3c5b3191da3ae4dbcfd0f0cd2066d541

Size: 2,794,964 bytes
libcoq-mathcomp-fingroup (libcoq-mathcomp-fingroup_1.14.0-8_all.deb)
SHA1: 924d715e5591aa7ad754f4b3719b29b86b5e28dc
SHA256: d0d9c3ba29fcdad50ab2d12861a513752c567fb2fc1b250aab2d226a333db416

Size: 1,892,884 bytes
libcoq-mathcomp-solvable (libcoq-mathcomp-solvable_1.14.0-8_all.deb)
SHA1: 7b1762b21e73340123bfffba6d3664a445d04d9d
SHA256: 1491386fd5582b5b4a061d35cbb4c7907f8139a7ee017f01f1781eea4d5d958d

Size: 4,612,656 bytes
libcoq-mathcomp-ssreflect (libcoq-mathcomp-ssreflect_1.14.0-8_all.deb)
SHA1: 37668d642ca1a79fab55a8c668809c0ea3443a36
SHA256: 20c1bb7abb3e238424ff5dbd018cd907fc47d3643dfb23934d5726b3cf1e9695

Size: 4,113,572 bytes

Other checksums

Submissions

oxz4mcuq
Submitted
Thu, 24 Mar 2022 11:04:36 +0000
Signed by
0x4F15D07E60F07CB2

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1648050299"