agda_2.6.0.1-1_all.buildinfo (view)

Source
agda
Version
2.6.0.1-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 5 Oct 2019 07:51:25 +0000
Build-Path
/build/1st/agda-2.6.0.1

First submitted
Sat, 5 Oct 2019 08:31:25 +0000
SHA1 of .buildinfo
dff1d0cfdee341573e0e236f7fcf595c5ea20886

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: 332947860f9d1d90572a70605ec23289cf985f94
SHA256: 633946ea535c037a2e08c9cc5690c422d94e85455c29e39075c91dd0d2740d6f

Size: 131,260 bytes
agda-bin (agda-bin_2.6.0.1-1_amd64.deb)
SHA1: 770a836ad43af9381106c97ab0542f8129c9432a
SHA256: 7e06002cf23a47c91d6685bd2e4670123db33f093c39afe5a336d38216c27ecb

Size: 6,702,568 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 2c1cc46059864d013d87bb5e2d9dc47a8b027b38
SHA256: f6b2e6d2aeb6bab80794e84eba7e52ad52db39f75340b2a69e027c768b210341

Size: 130,844 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 98fd354426ba34f3708649209715a48e3a818470
SHA256: 3c8cbb26af3a05a967f905c74d6fcfe73c1967a1ffc5fd51616c57244b6066be

Size: 168,400 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_amd64.deb)
SHA1: fecd3553fbbcf72ff666286e1dcba4eda5c26c7b
SHA256: 363b6b8f65cff35d3769645206b46e8539d66cff4e933e69e6ccdb726e92f781

Size: 19,832,240 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: ea363005bab258c7a4ea2e1dcdff08dfb81b6a22
SHA256: 9d03bd54ffc1facc5adb31f3c6061f38588aaa37dbddf72b6af5e2e1cd18a562

Size: 4,342,516 bytes

Other checksums

Submissions

eyupkvgo
Submitted
Sat, 5 Oct 2019 08:31:25 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-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="1567260153"