Porting Agda to Buster backports

[Marko Dimjašević]

Hi Sean,

On Thu, 2019-10-03 at 07:41 -0700, Sean Whitton wrote:
> 
> Do you mean the official buster-backports suite?

Yes, I do.


> The main problem is likely to be keeping that backport up-to-date
> with
> testing as the Haskell libs in testing get further and further away
> from
> stable.  Keeping it up-to-date is a requirement of the official
> backports policy.


I'm willing to do that if you find it feasible.

I get quite a list of packages to be upgraded if I attempt to install
Agda from unstable on top of buster:

ghc libc-bin libc-dev-bin libc-l10n libc6 libc6-dev libghc-agda-dev
libghc-async-dev libghc-attoparsec-dev libghc-base-compat-dev
  libghc-blaze-builder-dev libghc-blaze-html-dev libghc-blaze-markup-
dev libghc-boxes-dev libghc-call-stack-dev
  libghc-case-insensitive-dev libghc-data-hash-dev libghc-edison-api-
dev libghc-edison-core-dev libghc-edit-distance-dev
  libghc-equivalence-dev libghc-fgl-dev libghc-fixed-dev libghc-
geniplate-mirror-dev libghc-gitrev-dev libghc-gluraw-dev libghc-glut-
dev
  libghc-half-dev libghc-hashable-dev libghc-hashtables-dev libghc-
haskell-src-dev libghc-html-dev libghc-http-dev libghc-hunit-dev
  libghc-ieee754-dev libghc-integer-logarithms-dev libghc-murmur-hash-
dev libghc-network-dev libghc-network-uri-dev libghc-objectname-dev
  libghc-opengl-dev libghc-openglraw-dev libghc-parallel-dev libghc-
primitive-dev libghc-quickcheck2-dev libghc-random-dev
  libghc-regex-base-dev libghc-regex-compat-dev libghc-regex-posix-dev
libghc-regex-tdfa-dev libghc-scientific-dev libghc-split-dev
  libghc-statevar-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-
syb-dev libghc-tf-random-dev libghc-transformers-compat-dev
  libghc-unordered-containers-dev libghc-uri-encode-dev libghc-utf8-
string-dev libghc-vector-dev libghc-zlib-dev locales


Does it mean I'd have to keep all of them up to date in the buster-
backports suite?


-- 
Regards,
Marko Dimjašević <marko at dimjasevic.net>
https://dimjasevic.net/marko
PGP key ID:       056E61A6F3B6C9323049DBF9565EE9641503F0AA
Learn email self-defense! https://emailselfdefense.fsf.org

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-maintainers/attachments/20191003/404364e7/attachment.sig>