Stream: SerAPI

Topic: ✔ Trouble packaging for Debian

view this post on Zulip Julien Puydt (May 25 2022 at 21:20):

Ok, I dived again in my tentative Debian package for coq-serapi ; what I'm lacking before I can upload it is:

  1. clear licensing
  2. perhaps patching sertop.el (see other topic this evening).

That particular topic is closed, since now everything builds fine.


view this post on Zulip Notification Bot (May 25 2022 at 21:20):

Julien Puydt has marked this topic as resolved.

view this post on Zulip Emilio Jesús Gallego Arias (May 26 2022 at 10:39):

I will fix the licensing ASAP, sorry for that problem

Last updated: Feb 06 2023 at 05:03 UTC