Source package agda-stdlib/1.7.1-1 in crimson @ pureos - PureOS Software

agda-stdlib - 1.7.1-1 main

Versions in crimson: 1.7.1-1
Maintainer: Iain Lane <laney [꩜] debian.org>
Uploaders:

Debian Haskell Group <pkg-haskell-maintainers [꩜] lists.alioth.debian.org>

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

Homepage Build Jobs VCS Browser

Owned Binaries

agda-stdlib all
agda-stdlib-doc all

Build Dependencies

debhelper-compat (= 12)
agda-bin (>= 2.6.2)
agda-bin (<< 2.6.3~)
libghc-agda-dev (>= 2.6.2)
libghc-agda-dev (<< 2.6.3~)
libghc-filemanip-dev

Files

Filename	Size	Checksum (SHA256)
agda-stdlib_1.7.1-1.dsc	2.2 kB	`3ad8887b836612fd2f1eef7c59d5445a1533ea4551ee1091daf1c4d8d8a53232`
agda-stdlib_1.7.1.orig.tar.gz	940.1 kB	`6f92ae14664e5d1217e8366c647eb23ca88bc3724278f22dc6b80c23cace01df`
agda-stdlib_1.7.1-1.debian.tar.xz	5.7 kB	`29b6d1c6b118eb6c064d07415ed293160c4a365557297467103bf39a856fe6b2`