agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 24 Nov 2021 08:18:50 +0000
Build-Path
/build/agda-2.5.4.1

First submitted
Thu, 22 Oct 2020 01:56:05 +0000
SHA1 of .buildinfo
0f8d6bc15f636bf1cf1c85f1ecf52537ff4e4d16

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 70829739d00e411ac4850085330cfd9f4008ccf6
SHA256: dbdcaadd4b3831b695ce01fd449ad3bd0e4bbb73e83b331879a4171d53c20028

Size: 118,076 bytes
agda-bin (agda-bin_2.5.4.1-3_arm64.deb)
SHA1: 80614a446e3a68a981ca5423bc1a6e55f4b0c6bd
SHA256: bccf9bc8927166dc18bdff0a8cb50de11f5a9ee374b9f6d4056cb1233bb85b8c

Size: 6,779,220 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 272992288eaef752dc5e4dff91a7cb7a5258b170
SHA256: 50f2867058651be54d9d7b4240af0b7cfdaa0181eeb7a4ee30370045cdf0a600

Size: 117,656 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: cd09ac637df550d8f21e9651033a10bd204c202c
SHA256: 43bc6208f2c4397d302e575d8c8b625f99d303cdcefa8b223c51f961e21e46bd

Size: 155,612 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_arm64.deb)
SHA1: 6549a9d5b39b59ed84e161d0e00bd4ca4feb4455
SHA256: bc158d2941bbe610bc987f86993b32a45d800045b57c112d0385d531914f6751

Size: 19,736,540 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 0eb883725ee30a79377e625d7777365c6e4e3c22
SHA256: fa3ea6a141cdfc15b7b5463f00306a0cb831565b9781c96353c8d55de792a9db

Size: 3,789,848 bytes

Other checksums

Submissions

emthjypg
Submitted
Thu, 22 Oct 2020 01:56:06 +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="1540066938"