agda - 2.6.2.2-1.1 main

Versions in crimson: 2.6.2.2-1.1, 2.6.1-1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers [꩜] lists.alioth.debian.org>

Format: 3.0 (quilt)
Standards Version: 4.6.1
Architectures: any  all 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
agda_2.6.2.2-1.1.dsc 4.4 kB 688f97cb03a82b93b7952ac8980a81ee5b9343fef1347ab58ca3cf1bc01d72ed
agda_2.6.2.2.orig.tar.gz 1.7 MB e5be3761717b144f64e760d8589ec6fdc0dda60d40125c49cdd48f54185c527a
agda_2.6.2.2-1.1.debian.tar.xz 10.5 kB 9b4bd529eb559f6f9908de33351eac2d7c179cb6c58ffc05e78f7e7b7896eacf