agda_2.6.0.1-1_all.buildinfo (view)

Source
agda
Version
2.6.0.1-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 8 Apr 2021 06:16:24 +0000
Build-Path
/build/agda-2.6.0.1

First submitted
Fri, 6 Mar 2020 03:10:32 +0000
SHA1 of .buildinfo
24809aeed7e28e9d2532c1ca47e8bd23dbc17a3d

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: e985156c9a92f538d091ee0264593434e4deb903
SHA256: 1a2b57b433dfdfd3f2330ff93e61097ac8979fc60e092388a36464030ce0fe22

Size: 131,444 bytes
agda-bin (agda-bin_2.6.0.1-1_arm64.deb)
SHA1: 923288f713eb86b72c1d234f93d1c50f71cf7fde
SHA256: 7231e1705d56501604debe5c24e8d3f170e51b2143a4a5ce6d6440a63eea5a66

Size: 7,917,864 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 261dac2e767422b42c9ac3bf07383ee1d05fa28e
SHA256: 0ee5ede2837320930ff2a1d1ae8d018accc37d38b2ae0ee46b68a834bdfbf525

Size: 131,028 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: b40b79fa03e45fb8886ae01bc1d2d48ddd507c0e
SHA256: 716e1ef63560cc5a4bdb03090f75cab869d05c627161ce91fe80c1da66ce6bd1

Size: 168,584 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_arm64.deb)
SHA1: 0467a9301e813e8df2827111dee2f610015f53a2
SHA256: 2dea6bb4c75c19f124d172b6c34433d1731bf6992af7833c2b095d51d6114a4c

Size: 23,338,412 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: e4b7cf18c6e3eb8baddfc24febdcb2ca2126af5e
SHA256: cdfd7a3407eb9fb1356833ac0a65446c2d9f2c688b3779a00de07634679031ec

Size: 4,342,928 bytes

Other checksums

Submissions

rzwoxwuu
Submitted
Fri, 6 Mar 2020 03:10:32 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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="1567260153"