The Coq mailing list

[Vadim Zaliva <vzaliva AT cmu.edu>]

On Jul 9, 2015, at 13:34 , Kenneth Adam Miller <kennethadammiller AT gmail.com> wrote:

I could write an opam file for it. I think it would be suitable, but I think that there are aptitude, and emacs package descriptions for it as well, and together it's confusing which route to take and all...

I am not sure OPAM is the best way to manage EMACS packages.

I recently started using this repo: http://melpa.org/ which contains ‘company-coq’ package which should be dependent on PG, but

PG itself is not included there. Ideally PG should be added there.

Sincerely,
Vadim Zaliva

--

CMU ECE PhD candidate

Mobile: +1(510)220-1060

Skype: vzaliva