Source package agda/2.6.4.3-1 in dawn @ pureos - PureOS Software

agda - 2.6.4.3-1 main

Versions in dawn: 2.6.4.3-1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers [꩜] lists.alioth.debian.org>

Format: 3.0 (quilt)
Standards Version: 4.7.0
Architectures: any all

Homepage Build Jobs VCS Browser

Owned Binaries

agda all
elpa-agda2-mode all
libghc-agda-doc all
agda-bin amd64 amd64 amd64 arm64 arm64 arm64
libghc-agda-dev amd64 amd64 amd64 arm64 arm64 arm64

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
agda_2.6.4.3-1.dsc	5.2 kB	`2411cfccbb39ae0340e744dddb764f483a0176e1bfb8bff1eebbdfd619496437`
agda_2.6.4.3.orig.tar.gz	1.9 MB	`74edc96ec57d43bc148b329c02f6b06c3c3c16e8e40802e735570b1424df03a2`
agda_2.6.4.3-1.debian.tar.xz	10.5 kB	`634a7a27365d476ca2d9e4cf2254e76bf920dcee688b653eeb956cfdf3525ecd`