agda_2.5.3-3_all.buildinfo (view)

Source
agda
Version
2.5.3-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 14 Jul 2019 05:07:00 +0000
Build-Path
/build/agda-2.5.3

First submitted
Mon, 11 Jun 2018 04:06:56 +0000
SHA1 of .buildinfo
2edc5b9b2b20dac910a7ca205e4a4a23b6eeb46f

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: 92fdb8652ef5946941ec28fdea07ad0725ace59a
SHA256: 5dedf1e3d5b2d2aa0d36b696b246e9f5ae2410121ad04357a3b7acfc2edb8959

Size: 106,356 bytes
agda-bin (agda-bin_2.5.3-3_arm64.deb)
SHA1: 1da7f253ae0c17dcccaf61b6825ba319695c25a5
SHA256: 2c88c213b591f068c6481dac15666a98fb27d68847f9b430b304d6a8ce491dbf

Size: 9,230,344 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: 86ded70355caa261942121aa1b14b66e75a7b29d
SHA256: fa0d8d3f80aaa711e967c51fb2f24a4d5e475442ce8f31993fc240078fc4c7f6

Size: 105,936 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: e526286061c5ce62e05f96baa101e326b07a4d3b
SHA256: cc933c6bdb0430496efde5dcb33d31c618a844e6790ed2c57687982535483b46

Size: 143,300 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_arm64.deb)
SHA1: 732e84cefe4062329926fad124b802bbce44b75d
SHA256: d5e3046e64cb6a78a7f57f74c40df4edb980de7134cbcba5d444137eef4ede0f

Size: 23,946,572 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: 1fa3a7797c32644f6a5dc437d36f13ec8804ffcc
SHA256: d5218d51340d99a56fc1a3027b7302a1bd450d513ae9d24309a30c221603438e

Size: 2,862,896 bytes

Other checksums

Submissions

hq7vihnt
Submitted
Mon, 11 Jun 2018 04:06:57 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507949671"