agda_2.5.3-3_all.buildinfo — buildinfo.debian.net

agda (agda_2.5.3-3_all.deb)

SHA1: 63b2b063290deacdccbc9f5d4c25518d0a07a001
SHA256: b6e86950c20792397e8ec18783535757cf164dfc70e5334cdc02ef7070eb4d1d

Size: 106,048 bytes

agda-bin (agda-bin_2.5.3-3_amd64.deb)

SHA1: 3c64c71393fbc467973a04b864e246a5df561259
SHA256: d99fbcfb4c5da0122e7f838217f22a4a2ce4c9b6cac6fd86b4aff11d098b9ffe

Size: 5,816,016 bytes

agda-mode (agda-mode_2.5.3-3_all.deb)

SHA1: 2c2fe22b96ff05cb655a05f683a74db6af271222
SHA256: 7076834462fb0a6770eca7ac89ef29cc116f705cbc5de56d8521a12c4004d76b

Size: 105,628 bytes

elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)

SHA1: 56a038f90809bdbde7ded7d4a69a86a04caaef0a
SHA256: 0575e6872e430eedb3521db110c2f7c82c622767044a949b2773153096f37fb1

Size: 143,004 bytes

libghc-agda-dev (libghc-agda-dev_2.5.3-3_amd64.deb)

SHA1: 548315c22984b1d914095679201fdafad82baeba
SHA256: 0cd722d7707fcbf214c611aa6319f5870855efd5913fad7b57578755d296c28a

Size: 15,975,356 bytes

libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)

SHA1: 9189269f9f4957c0b387a2fa1646bd97f9276909
SHA256: adf920b116076ad4d374ca385d52d117196a4ac90b470a20090dc9d06d8208f3

Size: 2,862,476 bytes

agda_2.5.3-3_all.buildinfo (view)