agda_2.6.1-1_all.buildinfo — buildinfo.debian.net

agda (agda_2.6.1-1_all.deb)

SHA1: cea1b4dd55091c7a7372db19f15c6df7eba6c632
SHA256: 62316c64b4dac8dbbf22a4c3651a7645765edd35744de83fb169a5b74727925f

Size: 28,840 bytes

agda-bin (agda-bin_2.6.1-1_amd64.deb)

SHA1: 872dd0aab1176c6015fb056a31eeee6d2b326c25
SHA256: 3834565a451c9cde06b964bb4e7c27790cf59ec72ea7a5c245d8a6049510f38d

Size: 8,909,528 bytes

elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)

SHA1: dc21d394cb8d5da58e96b7e33305fc81f70daf63
SHA256: de71f9c87fb8e919e46bcf6c9bc0c572701f01ee88ba98d21e44c937eddad094

Size: 66,960 bytes

libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)

SHA1: 08637c3aab803441a55779cad4dfbbe929aa5b58
SHA256: df0850cdc5fcd454f8ddf6a2caaaf24389cbcf9e5b197014f46e44bd80392d00

Size: 37,945,460 bytes

libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)

SHA1: da16932a2ca9b5aa31e748b43e4203e560013664
SHA256: 246972484ca0d7673784e8ce52e3a24794189a6a5bc2a9a9ebcba1e4851c3e03

Size: 5,913,052 bytes

agda_2.6.1-1_all.buildinfo (view)