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
Thu, 23 Jul 2020 03:18:02 +0000
Build-Path
/build/1st/agda-2.5.4.1

First submitted
Thu, 20 Jun 2019 22:50:27 +0000
SHA1 of .buildinfo
a4ea72f1cd8701a19bacd4c63faf68a5b67d9f15

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 15c85b65dfa1e8a89b148cf08638931a376df52e
SHA256: 06e97b8f8e8f15599020a493f47869d0ca2076184e2a20f7e1d3de4e25c4c863

Size: 117,924 bytes
agda-bin (agda-bin_2.5.4.1-3_amd64.deb)
SHA1: 852da92efb8b7a5618492206df65ec6493b090e3
SHA256: 451eb6d740d37c23fbdfd2776c98f1ba570adfc496c4fb4a2cf800b4cb81615b

Size: 5,868,736 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: fa6db25e164aade195c3c321cef41fc8a5e31c41
SHA256: 7fddd1cbbdb36a02d654ecf2e5e7770d4c36b2ee8cd93f410fc2878be677fc77

Size: 117,508 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 8bddabbd03c0ea68113831e83a207ac924904837
SHA256: c904d0953d46f5ef976d68f958ffe96799ace0864a9ad846fc6a3f5d5a667d92

Size: 155,504 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_amd64.deb)
SHA1: 504ffac20637d974c40ee0bfe9702898032e3fde
SHA256: fc44cc3c73b58497afadfe09c2c49fceea802d175bf7f4f225c40332dee62d2f

Size: 17,160,364 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 7b539d3338af9368f7aaad2533a583321d588523
SHA256: 00c2fd54413e358d02a703144fe7df31b2273be54bc3ef41f24f70e11c682c92

Size: 3,789,688 bytes

Other checksums

Submissions

frfyrf4t
Submitted
Thu, 20 Jun 2019 22:50:28 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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