agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 21 Dec 2019 01:48:30 +0000
Build-Path
/build/1st/agda-2.5.4.1

First submitted
Sat, 17 Nov 2018 22:35:29 +0000
SHA1 of .buildinfo
cb84e12bfeb5b2c26537cee0f03db72b4379b920

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 7cbfbdc72e5cccc25294e999feb325fdcd90be85
SHA256: 725af23009016015429f744dcfdb0601ff399d5aab76bce87cf961f73a77c68c

Size: 118,112 bytes
agda-bin (agda-bin_2.5.4.1-3_arm64.deb)
SHA1: f79f569a95b3225f6cc19f45016e10f06c0795f3
SHA256: f46c95f8594f06d8e3c75fcb9bd26ec699c7ef266342586bb34935bc2d7d61cc

Size: 6,774,744 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: bb0122cabf3687e0595bf502dd9a3bab17287995
SHA256: 0482017b25492df41df3b84cef5e95be4f2f2aa5dacb9bae6d46c53da5707c25

Size: 117,688 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 0c04eef0312987f98a552ca22bdb401556a86aa3
SHA256: e83e2846c9bf81d25f5ecc8ddcc94bae86554a18533fd111f096abc06a3d8c92

Size: 155,408 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_arm64.deb)
SHA1: 9b8a94168e7db3a3ff917cead63710c6bea5923b
SHA256: 3ff8fce9771ecc4b3ac282005ee03ef14017a7b7bc6b2dff7145a158bec00fa7

Size: 19,729,264 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 45af69314682bb73ef547de2715e9152dde7fba4
SHA256: f15d0e5d85c7f5454ef8b6c6a4513b93579b18980483394d51784a08287bb619

Size: 3,791,220 bytes

Other checksums

Submissions

snsivojg
Submitted
Sat, 17 Nov 2018 22:35:29 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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="1540066938"