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
Wed, 2 Jan 2019 01:32:28 +0000
Build-Path
/build/agda-2.5.3/2nd

First submitted
Wed, 29 Nov 2017 19:09:51 +0000
SHA1 of .buildinfo
0492933f2d35fed2e5c3675a803590bf9f60fc5d

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: ceadeb8b76a79106f3a1f630fd5808fbab401041
SHA256: de2e5d77981c3f80dce2160afff56391ce5794097d4c304e176dd44879686173

Size: 106,172 bytes
agda-bin (agda-bin_2.5.3-3_arm64.deb)
SHA1: 41e416f1ff7bd7c29ed3bc1b0d2622a2d6b03238
SHA256: f442000acf72d6af382b0b7dd126423f19c8aacded1da8752c0c7bda5d6a7a19

Size: 9,229,744 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: 068ad9f51d7a8be96897b8677ea794b96aaca92d
SHA256: 5cbad1183acfa4ba40068f08c027234f49762e2f06d97975801e6d5853c1a203

Size: 105,756 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: 8766001cdf8cb3f88997f8d88f4dc837db2b2f24
SHA256: 269e82594555367ab95fe0d02d33ec7df9d03a53d8daf0cd594a0b2795dd74ae

Size: 143,116 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_arm64.deb)
SHA1: 982d4f0ab71ee13e8d1a1cd5e2fd585017da11e1
SHA256: 2254f81347fb895f3b667ad10ebcaedbb41654bd66757c5687da96d6d86ce28d

Size: 23,943,564 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: d25aedd68f3e893e994087559a1e33194c7c579f
SHA256: 45ca2ad93cbe0eda5e354e2c38a7e8828c25f739b457f780d7eccec41fdb7a3a

Size: 2,862,696 bytes

Other checksums

Submissions

7pinzdyn
Submitted
Wed, 29 Nov 2017 19:09:51 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="agda_2.5.3-3=/build/agda-2.5.3/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507949671"