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, 21 Jun 2023 16:55:22 +0000
Build-Path
/build/2/agda-2.6.1/2nd

First submitted
Thu, 19 May 2022 10:32:47 +0000
SHA1 of .buildinfo
296e41d670cac0c8d5b2394d1f7d45486a4f9ff0

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 983759db2ff04da2da923b90354155ea55e7c10e
SHA256: 8b6b398be3eae93279fcf6efdb44c817769e735c68dd19c3a20fa9e16584b759

Size: 29,364 bytes
agda-bin (agda-bin_2.6.1-1_arm64.deb)
SHA1: 742d41b412a6f2b639fcd5ac102c1da8d1808331
SHA256: 1f67aff245200087172decff87b806881c76c9b8bab6e8fdd0247d97c5d9183b

Size: 10,368,596 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: ab61ea5a0545d24a1cc21443a744f5aa0e913dda
SHA256: a0b92378bd4aa61f3bde081c5d0204c8b3ccae33c7a771458f548da88e0577b2

Size: 67,476 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_arm64.deb)
SHA1: fa5f29959cb2815cd2ab4406527e635b9f5698cc
SHA256: 01300f3982b353d61ed25929bc0dbddbedb8b89fb57063efaf113e787c400240

Size: 44,807,400 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 49e08707c9c95f26b9afee4d677a951194c93646
SHA256: 5345745c91a72c2a9921ebf941af17b194b00733de017fed074e4e754d951342

Size: 5,914,896 bytes

Other checksums

Submissions

jpgagxcz
Submitted
Thu, 19 May 2022 10:32:48 +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"