Source
metamath
Version
0.195-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 13 May 2024 19:16:28 +0000
Build-Path
/build/2/metamath-0.195/2nd

First submitted
Tue, 11 Apr 2023 12:53:37 +0000
SHA1 of .buildinfo
8c50668217df56f7be745953ba5e2a3e11856dc5

Binaries

metamath (metamath_0.195-1_arm64.deb)
SHA1: ea48c9f5c9b4fba1a8f6d3780b69f25c9cdba07a
SHA256: 08ddb3a173f45b2ea613c6a49117f5540e1d2f21ea3e521295bcc1543dc3ecb0

Size: 335,048 bytes
metamath-dbgsym (metamath-dbgsym_0.195-1_arm64.deb)
SHA1: 44b5eb541fde9f079db236a82e74a39d2bc9336b
SHA256: 55ab1e04dda544fb257dd3df8e1920f54964592326250769015d85bb865eb12a

Size: 487,364 bytes

Other checksums

Submissions

Submitted
Tue, 11 Apr 2023 12:53:38 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1609495425"