agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 7 Apr 2021 08:36:55 +0000
Build-Path
/build/agda-2.5.4.1

First submitted
Wed, 7 Apr 2021 08:37:08 +0000
SHA1 of .buildinfo
cd52320ef1b88266db3a49ca4864faed6fc2ab99

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 922a8cbe3a56446c6405cda4d6e0e780d608c2e8
SHA256: 54afa2a2ef889a860a4f36cb028f2a058fec6c3fdd12334890a78df7a8653ef7

Size: 117,984 bytes
agda-bin (agda-bin_2.5.4.1-3_amd64.deb)
SHA1: f99b1e39d25370924556bc20b29adfe0b8e5dd0a
SHA256: f9f21c262a8858964633dfa5f46b7011e49e0930cfaef1d14cf3726f0a55cd3b

Size: 5,868,356 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 8c365177bf2ea935d5bcf353849125e092640f0b
SHA256: 8c7f36488c2a80a34338ce0a5879536a7783ea3790f16a8a4a8676398e8afbf5

Size: 117,572 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 2a36d9898fca5695e27d8e955c93643de8cbce5d
SHA256: e9685aaf95a5d47abfd69b148f15c7cbfeb4c1d305f3a67ac5214e055ef67e80

Size: 155,532 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_amd64.deb)
SHA1: a492c5f27d6fa875422d6ea91ef7faf14f01b1a6
SHA256: 720cb5f03180e9909cfb3005d893af1917bd921be47dd5f01d9597e1efa1e814

Size: 17,170,164 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 44067307225e7a350e0a08057845609c37107fa1
SHA256: ceefc94582660766f35fc850ed56e0c303ae0d8972e27d8c3dc567dafbe46091

Size: 3,789,812 bytes

Other checksums

Submissions

mc3nxudw
Submitted
Wed, 7 Apr 2021 08:37:09 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1540066938"