dsc_fields:
Architecture: any all
Binary: agda, agda-bin, elpa-agda2-mode, libghc-agda-dev, libghc-agda-doc
Build-Depends: alex, cdbs, cpphs (>= 1.20.2), debhelper (>= 10), dh-elpa (>= 2.1.5),
ghc (>= 9.4), happy, haskell-devscripts (>= 0.13), ghc-prof, libghc-stmonadtrans-dev
(>= 0.4.3), libghc-stmonadtrans-dev (<< 0.5), libghc-stmonadtrans-prof, libghc-aeson-dev
(>= 1.1.2.0), libghc-aeson-dev (<< 2.3), libghc-aeson-prof, libghc-ansi-terminal-dev
(>= 0.9), libghc-ansi-terminal-dev (<< 1.2), libghc-ansi-terminal-prof, libghc-async-dev
(>= 2.2), libghc-async-dev (<< 2.3), libghc-blaze-html-dev (>= 0.8), libghc-blaze-html-dev
(<< 0.10), libghc-boxes-dev (>= 0.1.3), libghc-boxes-dev (<< 0.2), libghc-boxes-prof,
libghc-case-insensitive-dev (>= 1.2.0.4), libghc-case-insensitive-dev (<< 1.3),
libghc-case-insensitive-prof, libghc-data-hash-dev (>= 0.2.0.0), libghc-data-hash-dev
(<< 0.3), libghc-data-hash-prof, libghc-dlist-dev (>= 0.8), libghc-dlist-dev (<<
1.1), libghc-dlist-prof, libghc-edit-distance-dev (>= 0.2.1.2), libghc-edit-distance-dev
(<< 0.3), libghc-equivalence-dev (>= 0.3.2), libghc-equivalence-dev (<< 0.5),
libghc-equivalence-prof, libghc-exceptions-dev (>= 0.8), libghc-exceptions-dev
(<< 0.11), libghc-exceptions-prof, libghc-gitrev-dev (>= 1.3.1), libghc-gitrev-dev
(<< 2), libghc-gitrev-prof, libghc-hashable-dev (>= 1.2.1.0), libghc-hashable-dev
(<< 1.5), libghc-hashable-prof, libghc-monad-control-dev (>= 1.0.1.0), libghc-monad-control-dev
(<< 1.1), libghc-monad-control-prof, libghc-murmur-hash-dev (>= 0.1), libghc-murmur-hash-dev
(<< 0.2), libghc-murmur-hash-prof, libghc-parallel-dev (>= 3.2.2.0), libghc-parallel-dev
(<< 3.3), libghc-parallel-prof, libghc-peano-dev (>= 0.1.0.1), libghc-peano-dev
(<< 0.2), libghc-peano-prof, libghc-regex-tdfa-dev (>= 1.3.1.0), libghc-regex-tdfa-dev
(<< 1.4), libghc-regex-tdfa-prof, libghc-split-dev (>= 0.2.0.0), libghc-split-dev
(<< 0.3), libghc-split-prof, libghc-strict-dev (>= 0.4.0.1), libghc-strict-dev
(<< 0.6), libghc-strict-prof, libghc-time-compat-dev (>= 1.9.2), libghc-time-compat-dev
(<< 1.10), libghc-time-compat-prof, libghc-unordered-containers-dev (>= 0.2.9.0),
libghc-unordered-containers-dev (<< 0.3), libghc-uri-encode-dev (>= 1.5.0.4),
libghc-uri-encode-dev (<< 1.6), libghc-uri-encode-prof, libghc-vector-dev (>=
0.12), libghc-vector-dev (<< 0.14), libghc-vector-prof, libghc-vector-hashtables-dev
(>= 0.1.1.1), libghc-vector-hashtables-dev (<< 0.2), libghc-vector-hashtables-prof,
libghc-zlib-dev (>= 0.6), libghc-zlib-dev (<< 0.8), libghc-zlib-prof
Build-Depends-Indep: ghc-doc, libghc-stmonadtrans-doc, libghc-aeson-doc, libghc-ansi-terminal-doc,
libghc-async-doc, libghc-blaze-html-doc, libghc-boxes-doc, libghc-case-insensitive-doc,
libghc-data-hash-doc, libghc-dlist-doc, libghc-edit-distance-doc, libghc-equivalence-doc,
libghc-exceptions-doc, libghc-gitrev-doc, libghc-hashable-doc, libghc-monad-control-doc,
libghc-murmur-hash-doc, libghc-parallel-doc, libghc-peano-doc, libghc-regex-tdfa-doc,
libghc-split-doc, libghc-strict-doc, libghc-time-compat-doc, libghc-unordered-containers-doc,
libghc-uri-encode-doc, libghc-vector-doc, libghc-vector-hashtables-doc, libghc-zlib-doc
Checksums-Sha1:
- name: agda_2.6.4.3.orig.tar.gz
sha1: 9fc93f4a15f1e833d2075b4786b8898d9fba55f1
size: '1869461'
- name: agda_2.6.4.3-1.debian.tar.xz
sha1: b92a9b1e71732c4937fc3ba400bd6bcb3b83396d
size: '10460'
Checksums-Sha256:
- name: agda_2.6.4.3.orig.tar.gz
sha256: 74edc96ec57d43bc148b329c02f6b06c3c3c16e8e40802e735570b1424df03a2
size: '1869461'
- name: agda_2.6.4.3-1.debian.tar.xz
sha256: 634a7a27365d476ca2d9e4cf2254e76bf920dcee688b653eeb956cfdf3525ecd
size: '10460'
Files:
- md5sum: 8a27f437e1c7a822c1e191c802de5d35
name: agda_2.6.4.3.orig.tar.gz
size: '1869461'
- md5sum: d39bca04b6137deb3462b25204c8a4ec
name: agda_2.6.4.3-1.debian.tar.xz
size: '10460'
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 deb misc optional arch=all
agda-bin deb haskell optional arch=any
elpa-agda2-mode deb editors optional arch=all
libghc-agda-dev deb haskell optional arch=any
libghc-agda-doc deb doc optional arch=all
Source: agda
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/agda]
Version: 2.6.4.3-1
name: agda
type: dpkg
version: 2.6.4.3-1