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
Tue, 10 Dec 2019 08:29:39 +0000
Build-Path
/build/agda-2.6.0.1

First submitted
Tue, 10 Dec 2019 08:30:27 +0000
SHA1 of .buildinfo
65bf1ec22308ac8db6af9e8da1d8f315ac33f608

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: a402f1b83d26c072d1e051fadb6580e0dbc804fd
SHA256: f6304fe87187b3529632611862eb47d484740bb5286e5c389b725f03ab92292f

Size: 131,236 bytes
agda-bin (agda-bin_2.6.0.1-1_amd64.deb)
SHA1: b019249a3511e9938bf61f4191120ed719c0cca9
SHA256: 18ab4db6cf070fb7bfa2b2b4d11b64ca4ce488f24d4c95ea476228d6378b0805

Size: 6,702,460 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 0c0ed5b2e1554dd7f09304b1c396e863e685f782
SHA256: 52d277b35d69312972e9c077cd4a67492b48746bafb28cfc8495b65097f9473f

Size: 130,824 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: c781cf185cf235d7ef68a3aab7955da5b941565f
SHA256: c24720f1e47ea0d29e5394b601fc59c43b21e46b2917a61b1ca481d256251adb

Size: 168,372 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_amd64.deb)
SHA1: 7439d9aaada5763e71e89948d228d6485b83d43f
SHA256: dd69c5b6e0a5906d0c8b0c02f3821ebcbd81740e130a7f7c960d4be37459bee3

Size: 19,833,824 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: c564dd3e26d90516f83587eebcea84304bd40804
SHA256: 59c16e4eab1a163fd36465ce517c3d4de6de291c3c1d3d4c377297cce605939c

Size: 4,342,480 bytes

Other checksums

Submissions

kuicgkza
Submitted
Tue, 10 Dec 2019 08:30:28 +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"