Ximin Luo

thanks, that looks relevant - I will add it to issue #19 - please confirm on that issue, if you also are experiencing it.

OK, thanks. I will look into this.

I'm happy as long as someone else does the work. :p IIRC the main difficulty with distributing it on AMO is that you must distribute both the x86 and x86-64...

I am the package maintainer :) The problem stems from the fact that iceweasel and icedove are at different versions in experimental, so even if I recompile a release for...

Ah, I just need to set `nogtk` instead of `nogui`, looks like it works. But then the built `client` thinks that `haveGUI = true`; I'll send in a patch.

But it's quite annoying to have to build it twice, once for running and once for tests. That's not a normal workflow for doing builds.

You guys should just be able to install from Debian experimental directly. Like `apt-get install -t experimental pond` or something like that. It's only CLI because the GUI code is...

As for implementation, it may or may not be easy to hook into cargo's normal resolution mechanism. What I did in the hacky script linked above is to run the...

I'm using the Debian pandoc which is a little bit behind this repo: ~~~~ $ pandoc --version pandoc 2.17.1.1 Compiled with pandoc-types 1.22.2, texmath 0.12.4, skylighting 0.12.3.1, citeproc 0.6.0.1, ipynb...

Forwarding [some extra information](https://sourceforge.net/p/docutils/patches/197/) from [Günter Milde](https://sourceforge.net/u/milde/profile/), the docutils developer who also originally created unimathsymbols.txt: > The database and related work is available under https://milde.users.sourceforge.net/LUCR/Math/ The latest revision is used...