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
Sun, 24 Jul 2022 20:49:01 +0000
Build-Path
/build/2/agda-2.6.1/2nd

First submitted
Mon, 21 Jun 2021 14:26:11 +0000
SHA1 of .buildinfo
fc8b715354386bff50faa85f73fdd4c3d5ce80b5

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 8d15a164456f535f7f04cef09b851437dc0e7b13
SHA256: ff0501ce969e05aed747c59694edf8496d76361030761c90c070ddbf0fe1cc34

Size: 28,844 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: 2be6530911fa8649508df4046df6d3d2b7c2292a
SHA256: a8b7b4cad74e170ec9c6144cbd5cba4de041a61e8a46b09c7c4b32bce9b422e0

Size: 8,909,532 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: bb038142a7e0c76c13ee68f1d16e3dc8283e1062
SHA256: 403ef75dcd649d9fdcc124bc9b2f61ba4364193faffedd56c350b882fd2618ff

Size: 66,960 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: fce2009ca73dd9c70569e31d3df8a1a5435d89d1
SHA256: e0cdd46388e83bf0b38d2ca5e686336ecec31bc6f56c4648bb56bef53e3d4c20

Size: 37,945,456 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 3ec06fc37ab3fb206843b480ae0e6a9355a68adb
SHA256: ee0a4cbe9709a6512afb330b97a4573934c823ca6cc71c3d2db5f9ae0d838578

Size: 5,912,956 bytes

Other checksums

Submissions

mz4ovzqs
Submitted
Mon, 21 Jun 2021 14:26:11 +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"