Bug#1011648: Packaging still pending

To: 1011648@bugs.debian.org
Subject: Bug#1011648: Packaging still pending
From: julien.puydt@gmail.com
Date: Fri, 15 Jul 2022 21:02:30 +0200
Message-id: <[🔎] 965aac724aaad01515e744a41f3482a05bc22fef.camel@gmail.com>
Reply-to: julien.puydt@gmail.com, 1011648@bugs.debian.org
References: <165351314141.3031433.18216796306276029027.reportbug@alibert.home>

Hi,

I'm still working on the package ; I'm mostly stuck because there are
incoherent licensing issues:
  https://github.com/ejgallego/coq-serapi/issues/266

Cheers,

J.Puydt

Reply to:

Prev by Date: Bug#985486: marked as done (ITP: python-pyepics -- EPICS channel access for Python)
Next by Date: Bug#1014989: ITP: coq-unicoq -- enhanced unification algorithm for Coq
Previous by thread: Bug#985486: marked as done (ITP: python-pyepics -- EPICS channel access for Python)
Next by thread: Bug#1014989: ITP: coq-unicoq -- enhanced unification algorithm for Coq
Index(es):
- Date
- Thread