Julien Puydt
Julien Puydt
No, it should be closed when jupyter_server will actually provide the manpage. Keep it as a reminder.
I'm having issues with pixmaps getting misplaced too -- I'm the Debian Developer managing the mnemosyne package these days. Setup.py declares a pixmap_path variable then does nothing with it! There's...
I confirm: don't put a debian directory in your sources.
Notice that Debian is in freeze towards the next stable release, which is why I made no attempt to update anything.
Ok, now that Debian 13 is out, I'm looking into updating Coq in Debian to Rocq. And I'm a bit lost : the name "coq" is apparently still everywhere around!...
Do I need to mention ide/rocqide/coq.png ? I'm not out of the woods...
If an executable is supposed to be ised directly by users, it belongs to some bin/ directory; if it's purely internal to something else then it should go to a...