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
Mon, 11 May 2020 08:46:23 +0000
Build-Path
/build/2/agda-2.6.0.1/2nd

First submitted
Mon, 11 May 2020 12:00:30 +0000
SHA1 of .buildinfo
86bbc098cf8958ff96b1ba0e31ca6114f856b567

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: 028b253bd7077074c4aa3e8b1000fb526d70b523
SHA256: 92bfc8f792b7fe108a1450568559108177c8c3bfd90b826e730bda8d1adb5857

Size: 131,352 bytes
agda-bin (agda-bin_2.6.0.1-1_arm64.deb)
SHA1: 629b9767e1f59b05a9f33000ad7660e22f8c9316
SHA256: 7417eaadd6d7e7efc3a85fa0b692c86ff83aef9a7e77670ea072636a388d6615

Size: 7,917,996 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: f3e3aaa1179db3d2bd30903215957f0e86df063b
SHA256: a69167edfd079570c4ad03280b91c69afc8ba4a73ecbed0677f1cb27608b217a

Size: 130,940 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 0bf565921170a1fed082445b2077d336fb0addb1
SHA256: dbd758e012d2daccae94547e1d24eda223c5ede502b4e27f2e4639655d99c131

Size: 168,492 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_arm64.deb)
SHA1: 197410cde5e47d86bc46e32bd47d034cf797c8ee
SHA256: 4d6317345e95c460e9c1675382b56d61a430d0c2e4441ab31d4253ed8710325a

Size: 23,338,092 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: ec48d40a92f6335e38398d4514af0094e865de0a
SHA256: c59e252f86ed1e8868345fe486ceb7899154d7f2c526be5ba2ced87ee93a4a71

Size: 4,342,896 bytes

Other checksums

Submissions

hpyevwh7
Submitted
Mon, 11 May 2020 12:00:30 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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"