Setup for deb package

[lolepezy]

Figure out how to build a *.deb package for at least the current Debian testing.

[blackgnezdo]

I work on packaging Haskell programs for OpenBSD ports. Some things could be done to make the life of distribution builders easier. In particular, we usually have the tools to go between the official language ecosystem and the OS package manager.

More practically, for rpki-prover the following would my make life easier:

• use cabal (because stack is more work)
• have all the dependencies released on hackage (pinning a particular git version is extra work)

I realize none of this is exciting work and all this bookkeeping sounds like toil. That's because it is! It's also what makes your product much more approachable.

FYI @botovq

[lolepezy]

Thank you for considering rpki-prover for OpenBSD. I have to admit I never tried to build in on OpenBSD, so it is pretty much untested (I would expect it to just work though). Using cabal is in plans, even though not a high priority. But the releasing part is harder since the maintainer of some them (Vincent Hanquez) is not active anymore, so it's a bit of a conundrum. I either would have to switch to some other, well maintained libraries or take over the packages. Both looks like quite a commitment.