agda_2.6.1-1_all.buildinfo (view)

Source
agda
Version
2.6.1-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 16 Feb 2022 03:32:54 +0000
Build-Path
/build/2/agda-2.6.1/2nd

First submitted
Wed, 13 Jan 2021 21:10:06 +0000
SHA1 of .buildinfo
149b6f385bf8161cd3ec14c8263aff555581c528

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 4fd23983fb834f9677a13cfc13cf976216502946
SHA256: d098f192036a1a8bf0ce2bcf82623981c783d9dbe6eb636e96e2b0b38a8d0dcc

Size: 28,816 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: 02b1bfc7a808568e8be27e1e6e77a0390fb0afef
SHA256: 4d854c3b0e1b3982391d8000a8f15e89886a58de642d0e87e345a80ea3d322f4

Size: 8,909,512 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: d611c90ee1be4400ac9a27c2e30fabc017f17538
SHA256: d9ba7485ecfc1cbfb1481d86e71f0388642936c3104ec5caaee2267e39d691d6

Size: 66,952 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: b3edc9c01ba366fbb56b3422489ed6c75cdaa29b
SHA256: f012f45335bf5b245c168f76b8c3eaf0c594bd84fbd44170ca9a02a7807f3b38

Size: 37,945,552 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: e4daa0dcd343f195fbe0e223d2cb8685295c8ee1
SHA256: 673cf4b609dd704e5886b620c1831d00683e9087c108187d613397c7c53dbe28

Size: 5,913,012 bytes

Other checksums

Submissions

jjs94get
Submitted
Wed, 13 Jan 2021 21:10:07 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1596036884"