agda_2.6.0.1-1_all.buildinfo (view)

Source
agda
Version
2.6.0.1-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 15 May 2020 17:29:06 +0000
Build-Path
/build/agda-2.6.0.1

First submitted
Fri, 15 May 2020 21:08:19 +0000
SHA1 of .buildinfo
2c111287b5d26b0757f4458ca053298e8ed0317b

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: 7fa2e33683461a46561b995d03f5c7cec251e008
SHA256: a2aa71949e18c88509997a677562862482cfb238f66d64e5b8d8101c4fb876d2

Size: 131,348 bytes
agda-bin (agda-bin_2.6.0.1-1_arm64.deb)
SHA1: 174d6ac58dff026f2b8aa0bcbf37e5041810ff4c
SHA256: 430cee44fa516983d6777f06fafc223827fc09fbaf0ec357ed0cbda5e6931a44

Size: 7,917,908 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: adb615285ff69d1534453daf8176151d50a439ba
SHA256: 678af8e38c7752d30bcd37a207f77c90a395a64be11b8ee19a540f930929b46a

Size: 130,940 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 51939ec776e8586feb289ceafdbdccd1f9fb921c
SHA256: 284dc51ebd0ed71082a1ce080a589a62ad9cec9036561ecf13937a76c267f8e0

Size: 168,492 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_arm64.deb)
SHA1: 6b40a618b521b58ed84d34469ab04fcc18e02d99
SHA256: 827b675b5f02c9a717344a5ab3a026a2f10058db42e7758a256356a2de445ca2

Size: 23,338,196 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: d2f0d748d7355b8b6c63753145844257163dd72c
SHA256: c0b38bc65739427d298cda76f5681a34f2b6f05c7a26e4a71b96ef600b8985aa

Size: 4,342,840 bytes

Other checksums

Submissions

cq7o9jhp
Submitted
Fri, 15 May 2020 21:08:21 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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="1567260153"