Source
ssreflect
Version
1.15.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 16 Apr 2023 10:47:44 +0000
Build-Path
/build/ssreflect-1.15.0

First submitted
Sun, 16 Apr 2023 16:56:03 +0000
SHA1 of .buildinfo
69573445ee1b3cc1ecbf8f6aa0254b96eecebe20

Binaries

libcoq-mathcomp (libcoq-mathcomp_1.15.0-1_armhf.deb)
SHA1: e1607d04f5d173972062fa0958bd13b95328e8a9
SHA256: 183f72ff5f291715820aede87b2e30529425e974b8c70fda18c524843aed0a40

Size: 3,157,448 bytes
libcoq-mathcomp-algebra (libcoq-mathcomp-algebra_1.15.0-1_armhf.deb)
SHA1: ecc2deeb44e082036e04d12ea5cef51ec4b9337c
SHA256: 130adee10dff241b6adfbdbdf3ee1de5faffc760fc6391fbf9cefb9c3e525f63

Size: 6,500,536 bytes
libcoq-mathcomp-character (libcoq-mathcomp-character_1.15.0-1_armhf.deb)
SHA1: 77a14baae1aee0046a5f5411c628576afd3d5b3c
SHA256: 854821e86c3a657d44e1b77a87ac823049c6f468afd10a9db7f3e745e04e0792

Size: 3,958,512 bytes
libcoq-mathcomp-field (libcoq-mathcomp-field_1.15.0-1_armhf.deb)
SHA1: 5b9b6c389f571c27813774fbb9e0e2fc96634baf
SHA256: afec70f98edc4cc8cd5fa3d6783a8ea5d246bd33016fb0f7e0d64b06d3c5f90a

Size: 2,764,676 bytes
libcoq-mathcomp-fingroup (libcoq-mathcomp-fingroup_1.15.0-1_armhf.deb)
SHA1: 2153085048707520ec9bbf46fa8d0dda763564cc
SHA256: d0551d848560e91c6ec464af7e1a4251281b699b3d62a5c5a37f9e087c94f7e0

Size: 1,919,272 bytes
libcoq-mathcomp-solvable (libcoq-mathcomp-solvable_1.15.0-1_armhf.deb)
SHA1: e0b6e4d8d244afe3c77933ed003cab4a6b7e6cf6
SHA256: 2bedb1c56010e82c3244568976e38a9fd82b26f2feef1d2a2eb201ffecd03603

Size: 4,534,756 bytes
libcoq-mathcomp-ssreflect (libcoq-mathcomp-ssreflect_1.15.0-1_armhf.deb)
SHA1: c33860e0106a2f9008df9d868487ee9e8f38bd1e
SHA256: 333a0efd93b92e43d3a571ec2a73211a27437cece9eb0c81faeb82b73f217161

Size: 4,207,000 bytes

Other checksums

Submissions

Submitted
Sun, 16 Apr 2023 16:56:04 +0000
Signed by
0x2EB7D8A099C83DD8

Environment


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