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

agda (agda_2.6.1-1_all.deb)

SHA1: bee34272f5e70c9944063cb928e8fd88768453e1
SHA256: c203657ab42626a702648910a07cfa6349cd9f31e98b29676d4048285df57258

Size: 28,928 bytes

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

SHA1: b1f5d560a172509c90721e56c89a7217e8007291
SHA256: cb5784c401c50be88d7f8bb6421a8f18afab407996795eed155cb57b894cf702

Size: 10,367,644 bytes

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

SHA1: 510c89ae7fa88b3ce517dbfe0523579cdd73af60
SHA256: bb78ae942b06659b5f476f5af78a6464b521d32457a1e7a400f5ea55c2a1db90

Size: 67,048 bytes

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

SHA1: 7f534ee6c04be37accbcafee5ae94d0b1b7b3049
SHA256: 4e992cbf53a026f765bbff4f4e93b226689e2d4c2b84e236a0b4c51408338656

Size: 44,791,284 bytes

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

SHA1: 1af21c31d3d4cecee15d669c823a75778af3dd73
SHA256: d52762950670f53df98a0aa4fb1ba79dfbac66df1e981ebfa68ec08fd0406e43

Size: 5,914,448 bytes

agda_2.6.1-1_all.buildinfo (view)