Binaries
agda
(
agda_2.6.1-1_all.deb
)
SHA1: bee34272f5e70c9944063cb928e8fd88768453e1
SHA256: c203657ab42626a702648910a07cfa6349cd9f31e98b29676d4048285df57258
Size: 28,928 bytes
SHA1: b1f5d560a172509c90721e56c89a7217e8007291
SHA256: cb5784c401c50be88d7f8bb6421a8f18afab407996795eed155cb57b894cf702
Size: 10,367,644 bytes
SHA1: 510c89ae7fa88b3ce517dbfe0523579cdd73af60
SHA256: bb78ae942b06659b5f476f5af78a6464b521d32457a1e7a400f5ea55c2a1db90
Size: 67,048 bytes
SHA1: 7f534ee6c04be37accbcafee5ae94d0b1b7b3049
SHA256: 4e992cbf53a026f765bbff4f4e93b226689e2d4c2b84e236a0b4c51408338656
Size: 44,791,284 bytes
SHA1: 1af21c31d3d4cecee15d669c823a75778af3dd73
SHA256: d52762950670f53df98a0aa4fb1ba79dfbac66df1e981ebfa68ec08fd0406e43
Size: 5,914,448 bytes