Source package agda-stdlib/2.1-4 in landing @ pureos

agda-stdlib - 2.1-4 main

Versions in landing: 2.1-4
Maintainer: Debian Haskell Group <pkg-haskell-maintainers [꩜] lists.alioth.debian.org>
Uploaders:

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

Homepage Build Jobs VCS Browser

debhelper-compat (= 12)
ghc (>= 9.6)
agda-bin (>= 2.6.4.3)
agda-bin (<< 2.6.4.4~)
libghc-agda-dev (>= 2.6.4.3)
libghc-agda-dev (<< 2.6.4.4~)
libghc-filemanip-dev (>= 0.3.6.2)
libghc-filemanip-dev (<< 0.4)

Filename	Size	Checksum (SHA256)
agda-stdlib_2.1.orig.tar.gz	1.2 MB	`72ca3ea25094efa0439e106f0d949330414232ec4cc5c3c3316e7e70dd06d431`
agda-stdlib_2.1-4.dsc	2.2 kB	`339b87892e18d4f089f2bab6db7c17fd0567ba83c56a49628289bf0448c54720`
agda-stdlib_2.1-4.debian.tar.xz	6.1 kB	`ad7d92bddfe430aea99dde6b74ca07d69bb10a928adfa50af13df1e8c5a639de`