Codebase list agda / 5735d5b
Remove constraints unnecessary since buster * Build-Depends: Drop versioned constraint on cpphs, dh-elpa, ghc, haskell-devscripts, libghc-aeson-dev, libghc-async-dev, libghc-blaze-html-dev, libghc-boxes-dev, libghc-data-hash-dev, libghc-equivalence-dev, libghc-exceptions-dev, libghc-geniplate-mirror-dev, libghc-gitrev-dev, libghc-hashable-dev, libghc-hashtables-dev, libghc-ieee754-dev, libghc-murmur-hash-dev, libghc-split-dev, libghc-strict-dev, libghc-unordered-containers-dev, libghc-uri-encode-dev and libghc-zlib-dev. * elpa-agda2-mode: Drop versioned constraint on emacs in Recommends. Changes-By: deb-scrub-obsolete Jenkins 2 years ago
2 changed file(s) with 41 addition(s) and 26 deletion(s). Raw diff Collapse all Expand all
0 agda (2.6.1-2) UNRELEASED; urgency=medium
1
2 * Remove constraints unnecessary since buster:
3 + Build-Depends: Drop versioned constraint on cpphs, dh-elpa, ghc,
4 haskell-devscripts, libghc-aeson-dev, libghc-async-dev,
5 libghc-blaze-html-dev, libghc-boxes-dev, libghc-data-hash-dev,
6 libghc-equivalence-dev, libghc-exceptions-dev,
7 libghc-geniplate-mirror-dev, libghc-gitrev-dev, libghc-hashable-dev,
8 libghc-hashtables-dev, libghc-ieee754-dev, libghc-murmur-hash-dev,
9 libghc-split-dev, libghc-strict-dev, libghc-unordered-containers-dev,
10 libghc-uri-encode-dev and libghc-zlib-dev.
11 + elpa-agda2-mode: Drop versioned constraint on emacs in Recommends.
12
13 -- Debian Janitor <janitor@jelmer.uk> Mon, 08 Nov 2021 07:42:22 -0000
14
015 agda (2.6.1-1) unstable; urgency=medium
116
217 [ Sean Whitton ]
22 Priority: optional
33 Section: haskell
44 Rules-Requires-Root: no
5 Build-Depends:
5 Build-Depends:
66 alex,
77 cdbs,
8 cpphs (>= 1.20.2),
8 cpphs,
99 debhelper (>= 10),
10 dh-elpa (>= 1.16),
11 ghc (>= 8.4.3),
10 dh-elpa,
11 ghc,
1212 happy,
13 haskell-devscripts (>= 0.13),
13 haskell-devscripts,
1414 ghc-prof,
15 libghc-aeson-dev (>= 1.1.2.0),
15 libghc-aeson-dev,
1616 libghc-aeson-dev (<< 1.5),
1717 libghc-aeson-prof,
18 libghc-async-dev (>= 2.2),
18 libghc-async-dev,
1919 libghc-async-dev (<< 2.3),
20 libghc-blaze-html-dev (>= 0.8),
20 libghc-blaze-html-dev,
2121 libghc-blaze-html-dev (<< 0.10),
22 libghc-boxes-dev (>= 0.1.3),
22 libghc-boxes-dev,
2323 libghc-boxes-dev (<< 0.2),
24 libghc-boxes-dev (>= 0.1.3),
24 libghc-boxes-dev,
2525 libghc-data-hash-dev (<< 0.3),
26 libghc-data-hash-dev (>= 0.2.0.0),
26 libghc-data-hash-dev,
2727 libghc-edit-distance-dev (<< 0.3),
28 libghc-equivalence-dev (>= 0.3.2),
28 libghc-equivalence-dev,
2929 libghc-equivalence-dev (<< 0.4),
3030 libghc-equivalence-prof,
31 libghc-exceptions-dev (>= 0.8),
31 libghc-exceptions-dev,
3232 libghc-exceptions-dev (<< 0.11),
3333 libghc-exceptions-prof,
34 libghc-geniplate-mirror-dev (>= 0.6.0.6),
34 libghc-geniplate-mirror-dev,
3535 libghc-geniplate-mirror-dev (<< 0.8),
36 libghc-gitrev-dev (>= 1.3.1),
36 libghc-gitrev-dev,
3737 libghc-gitrev-dev (<< 2.0),
3838 libghc-gitrev-prof,
39 libghc-hashable-dev (>= 1.2.1.0),
39 libghc-hashable-dev,
4040 libghc-hashable-dev (<< 1.4),
4141 libghc-hashable-prof,
42 libghc-hashtables-dev (>= 1.2.0.2),
42 libghc-hashtables-dev,
4343 libghc-hashtables-dev (<< 1.3),
44 libghc-ieee754-dev (>= 0.7.8),
44 libghc-ieee754-dev,
4545 libghc-ieee754-dev (<< 0.9),
46 libghc-murmur-hash-dev (>= 0.1),
46 libghc-murmur-hash-dev,
4747 libghc-murmur-hash-dev (<< 0.2),
4848 libghc-murmur-hash-prof,
4949 libghc-regex-tdfa-dev (>= 1.3.1.0),
5050 libghc-regex-tdfa-dev (<< 1.4),
5151 libghc-regex-tdfa-prof,
52 libghc-split-dev (>= 0.2.0.0),
52 libghc-split-dev,
5353 libghc-split-dev (<< 0.2.4),
5454 libghc-split-prof,
55 libghc-strict-dev (>= 0.3.2),
55 libghc-strict-dev,
5656 libghc-strict-dev (<< 0.4),
57 libghc-unordered-containers-dev (>= 0.2.5.0),
57 libghc-unordered-containers-dev,
5858 libghc-unordered-containers-dev (<< 0.3),
59 libghc-uri-encode-dev (>= 1.5.0.4),
59 libghc-uri-encode-dev,
6060 libghc-uri-encode-dev (<< 1.6),
6161 libghc-uri-encode-prof,
62 libghc-zlib-dev (>= 0.6),
62 libghc-zlib-dev,
6363 libghc-zlib-dev (<< 0.7),
6464 alex,
6565 happy,
157157 ${misc:Depends},
158158 ${shlibs:Depends},
159159 Built-Using: ${misc:Built-Using}
160 Recommends:
161 emacs (>= 46.0),
160 Recommends:
161 emacs,
162162 Enhances:
163163 emacs,
164164 emacs24,