agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 20 Sep 2019 12:08:05 +0000
Build-Path
/build/agda-2.5.4.1

First submitted
Fri, 20 Sep 2019 12:09:16 +0000
SHA1 of .buildinfo
1a18bf65dea4c4c183a8067b18f01265b7a2d5a8

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: fc41292de00241c8546d29f8c5c791c3d6bbd51f
SHA256: d29f3a9a5b1bd0c94ac764da6dffd1faf2aa60504040dab88d338520052266fa

Size: 117,940 bytes
agda-bin (agda-bin_2.5.4.1-3_amd64.deb)
SHA1: 366ddd4de535d809de444e117f740367758d6942
SHA256: 9f125c2d7d3fb677702d8f190d73b284a53ceea2317112ab3507192ab6b44501

Size: 5,875,148 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: b03590be3f3a62113303fc3e817123004cba8a69
SHA256: 9c75da6f504f31e58a56c2867917a222db84bdbfcb65311da58578f2d1b68a48

Size: 117,516 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 5c4486dd1e23daab66d488fdeefef64e73749513
SHA256: 415c20cc5c88236166e4b82a686a590680a6ca4af626d9b496f5eeef94eeef84

Size: 154,808 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_amd64.deb)
SHA1: 6eb45603a45bdb45181b14eee794753018e3466e
SHA256: 7d3ef1f31d49fcb1181cdf368e768ebb80f9a37cb5000fab3283b2ebbf296ec9

Size: 17,253,404 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 656b317271782adcb30cd3c9011d5ca31e77b865
SHA256: 2a243cac8a67195b8d5fd3cdbed97edad9c22bf421a95163ba4688e5e73730b1

Size: 3,795,584 bytes

Other checksums

Submissions

we7yg43i
Submitted
Fri, 20 Sep 2019 12:09:17 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1540066938"