dsc_fields:
Architecture: all
Binary: agda-stdlib, agda-stdlib-doc
Build-Depends: 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
Checksums-Sha1:
- name: agda-stdlib_1.7.1.orig.tar.gz
sha1: 5383fe9fa174b1d7579f43ac1e804063cc858d61
size: '940131'
- name: agda-stdlib_1.7.1-1.debian.tar.xz
sha1: 4e915e0bbd69935cd7ec0d565e75077faefac583
size: '5664'
Checksums-Sha256:
- name: agda-stdlib_1.7.1.orig.tar.gz
sha256: 6f92ae14664e5d1217e8366c647eb23ca88bc3724278f22dc6b80c23cace01df
size: '940131'
- name: agda-stdlib_1.7.1-1.debian.tar.xz
sha256: 29b6d1c6b118eb6c064d07415ed293160c4a365557297467103bf39a856fe6b2
size: '5664'
Files:
- md5sum: 19d18d2ca466cbfae1945c379b8c4bea
name: agda-stdlib_1.7.1.orig.tar.gz
size: '940131'
- md5sum: ac9d51dd51d058248e6c09a9d163d6e4
name: agda-stdlib_1.7.1-1.debian.tar.xz
size: '5664'
Format: 3.0 (quilt)
Homepage: https://wiki.portal.chalmers.se/agda/
Maintainer: Iain Lane <laney@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.6.1
Uploaders: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Vcs-Browser: https://salsa.debian.org/haskell-team/agda-stdlib
Vcs-Git: https://salsa.debian.org/haskell-team/agda-stdlib.git
Version: 1.7.1-1
name: agda-stdlib
type: dpkg
version: 1.7.1-1