agda (2.6.0.1-1)_2.6.0.1-1+b2_arm64.buildinfo (view)

Source
agda (2.6.0.1-1)
Version
2.6.0.1-1+b2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 25 Jan 2020 19:56:32 +0000
Build-Path
/build/agda-9V3jcl/agda-2.6.0.1

First submitted
Sun, 26 Jan 2020 01:32:43 +0000
SHA1 of .buildinfo
1d1c6b9cabb51cb587932ff22abef75ef4d514bb

Binaries

agda ()
agda-bin (agda-bin_2.6.0.1-1+b2_arm64.deb)
SHA1: f8657f17faba3da8354dc4e136392e75f00afc18
SHA256: a996db9782a2196dee4b6d4b70fcaaf77b12ce0c930b8b2073fec6c7a0edebdf

Size: 7,918,220 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1+b2_arm64.deb)
SHA1: f5ee404904d5a4ea7a6cc7129a1c818c48a41194
SHA256: 2c5aaf20a6e69de8863b12f8194f30dd6fbfa879a98ceba747ddcc6fd15ca15f

Size: 23,337,892 bytes
libghc-agda-doc ()

Other checksums

Submissions

owimku7y
Submitted
Sun, 26 Jan 2020 01:32:44 +0000
Signed by
0x1FA1E5FB3284BF84

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1579972468"