dsc_fields:
Architecture: all
Binary: agda-stdlib, agda-stdlib-doc
Build-Depends: 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)
Checksums-Sha1:
- name: agda-stdlib_2.1.orig.tar.gz
sha1: 743dac57b078790e08c298fa3b76be51c2f410ff
size: '1211622'
- name: agda-stdlib_2.1-1.debian.tar.xz
sha1: 9497f645b756d2611497a8f7801227da39a621ae
size: '5900'
Checksums-Sha256:
- name: agda-stdlib_2.1.orig.tar.gz
sha256: 72ca3ea25094efa0439e106f0d949330414232ec4cc5c3c3316e7e70dd06d431
size: '1211622'
- name: agda-stdlib_2.1-1.debian.tar.xz
sha256: 1762170d3b8a70e4b2449ab89ecf21aab5ea3a6589caa6c89d21f3e9cfc7b1e1
size: '5900'
Files:
- md5sum: 3a0131664aa61929bc3fbb79ca68fa7b
name: agda-stdlib_2.1.orig.tar.gz
size: '1211622'
- md5sum: 2cf6ff459360c3d9b35ad265204e0195
name: agda-stdlib_2.1-1.debian.tar.xz
size: '5900'
Format: 3.0 (quilt)
Homepage: https://wiki.portal.chalmers.se/agda/
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Package-List: |2-
agda-stdlib deb libs optional arch=all
agda-stdlib-doc deb doc optional arch=all
Source: agda-stdlib
Standards-Version: 4.7.0
Uploaders: Iain Lane <laney@debian.org>, Ilias Tsitsimpis <iliastsi@debian.org>
Vcs-Browser: https://salsa.debian.org/haskell-team/agda-stdlib
Vcs-Git: https://salsa.debian.org/haskell-team/agda-stdlib.git
Version: 2.1-1
name: agda-stdlib
type: dpkg
version: 2.1-1