agda_2.5.3-3_all.buildinfo (view)

Source
agda
Version
2.5.3-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 25 Feb 2019 02:10:01 +0000
Build-Path
/build/agda-2.5.3

First submitted
Mon, 22 Jan 2018 19:47:48 +0000
SHA1 of .buildinfo
274fc5cc8f6cb39b1c309580f423e16705074329

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: 3fc7ce2affb97882ab819eb9a7eb7a8a454d0f15
SHA256: 900497f131e33dc12042ddc94634379031d152485587e38c48d35e2a1fe23a92

Size: 106,036 bytes
agda-bin (agda-bin_2.5.3-3_i386.deb)
SHA1: d89d2cc625b8622d4bd4c83d76aaac573b3cf159
SHA256: e27b75aa8225cce23026e4bb7ff29cfecb3d3c3e4c1590f3dad7c4d34e58e39e

Size: 5,822,708 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: 493d078ffe6f2bc35eae12988f56adf77c3b4583
SHA256: adf2b0c919c8d92acb594171376b23c4f2303d0cbc5024daa38c82ee930d28d5

Size: 105,620 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: fb1292c8b45ff7af1a7950de28aa2cdd18e7860f
SHA256: 6b56ae87ce4bd9ba05866c834a01a86c3ad8666eade93626911eb49848666c54

Size: 143,020 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_i386.deb)
SHA1: aa2028be6ffca4cebca3b484b421a366bfd94a4e
SHA256: 7a80dd35195904d7f7bbc6a97f0a516e373854df15b8e6b01834dd5ee6e9bfbc

Size: 15,676,036 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: e85e3d338b11f4fa8698ed1f5fdd8021b19f87bd
SHA256: 9bf92438f640c42d86dc3e0a7044cb24101208c587c96373d8e2a6786e1c81aa

Size: 2,862,616 bytes

Other checksums

Submissions

kiyivzyi
Submitted
Mon, 22 Jan 2018 19:47:49 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1507949671"