agda_2.6.1-1_all.buildinfo (view)

Source
agda
Version
2.6.1-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 24 Nov 2021 13:09:14 +0000
Build-Path
/build/1st/agda-2.6.1

First submitted
Thu, 22 Oct 2020 12:46:52 +0000
SHA1 of .buildinfo
08620c7d0f87a2d5e0992b317422726432fb9989

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 3c6faef6bd951a092fb37681ce11fc0cb6edbcc4
SHA256: d0f5beabc990b51f1749af30b2d73fb390d821e012eacc68e53201cd76b4be37

Size: 28,988 bytes
agda-bin (agda-bin_2.6.1-1_arm64.deb)
SHA1: 6413a422782a1b363ace3c0c8101052606037212
SHA256: b68547b4d3f303b986c074c39b20fa2fdd04d7bc4628ac121c870d7955cbf8b7

Size: 10,374,360 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 5e34b58c6932acbef37c76c205c890de43f45c49
SHA256: 0273e2250b507d2ef32aa40aee80042b49f41a4d2346374a06bbdfe4dd372784

Size: 67,104 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_arm64.deb)
SHA1: 9f1331a3c0c30ab82bf3cbb0e7380d7d9893de15
SHA256: c19ab0b599c06f37836d5e02d9a0a13ca7424b8f785bd526b664a0ac1a4412bc

Size: 44,823,232 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 8b9c68bdd528acfa6f6bf1f082b051f92f9fcdd1
SHA256: c5304a951d1b9c005e7f32eaf23834f154376e7484d9f926e5c59fd2120b35ec

Size: 5,798,980 bytes

Other checksums

Submissions

tkhxyrpb
Submitted
Thu, 22 Oct 2020 12:46:53 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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="1596036884"