Should jhc package be maintained by DHG?

[Kiwamu Okabe <kiwamu@debian.or.jp>]

Hi, all.

Now, I am trying to pack jhc <http://repetae.net/computer/jhc/> as
Debian package.

Should jhc package be maintained by DHG?
If jhc was maintained by only me, I have some questions for DHG.

Q1. Should jhc's library package name has "libjhc-foo-{dev,doc}" on
Debian package name space?
Q2. Should jhc use cabal to maintain the library pacage?
Q3. Should jhc library packages share the source packages with ghc's?

I think jhc is very small community, then there are no problem that
above questions have no answer.
But it's good that the policy is fixed.

Best regards,
--
Kiwamu Okabe