agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 29 Dec 2018 22:24:02 +0000
Build-Path
/build/1st/agda-2.5.4.1

First submitted
Sat, 29 Dec 2018 22:56:30 +0000
SHA1 of .buildinfo
de5d579c9b534e064a01b5f5bbe0716811135a52

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 39a8a8f7fe2cfde70185bfd7dc0652c2b8afad94
SHA256: 7f1967c2cb963f5ada3be956ad6ccc68c6a5b98d0e359019e7cc5cd5b76cf7d6

Size: 117,956 bytes
agda-bin (agda-bin_2.5.4.1-3_amd64.deb)
SHA1: 999f577ec22c1c7c6a28a0f13cf4313143d27043
SHA256: 3f88fb5df4c84a59b1ef0dc65d43805b82c7b4bf8832b394711ec6459b136a63

Size: 5,868,800 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: fd548b91678544d9e800ce63a9129666d60967c4
SHA256: 6d3ee6f270f2d77f3b8d9c19d2cdd738da36eee1ac1e277c5865b1929d25f368

Size: 117,536 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 7aa0d7f96a451eac6f20b106c86ed3cc0573c2e1
SHA256: 0d175060dd920244673eb674c26a5bfab59818e39738f1ad76b4b34ded584e54

Size: 155,480 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_amd64.deb)
SHA1: 48c2b6ab7d80c651a458668d6c2caf5135d3d7a6
SHA256: 213ec8a268ee69bf33524d2cf459174aecdb987653e981f6c859f1fd381c6aac

Size: 17,162,164 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 49b9f23469f676b2efeb203bd259a77d85374bec
SHA256: 488280d5667f4e73a0a06f929e72ab993d2e2556ec42a2cd2e63a8b4dd408e51

Size: 3,789,724 bytes

Other checksums

Submissions

yxwvfxh7
Submitted
Sat, 29 Dec 2018 22:56:31 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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="1540066938"