Control: tags -1 upstream Control: forwarded -1 https://github.com/viking-gps/viking/issues/339
I've just noticed that the bug was reported upstream 4 days ago (on GitHub). On 2025-09-28 08:41:18 +0200, Paul Gevers wrote: > Hmm, seems I missed the fact (again) that upstream is more active on github > than on sourceforge. Indeed, and I don't think that this is going to change. Developers tend to move from SourceForge to GitHub because the latter offers more features and is much more used. The Viking project page on SourceForge https://sourceforge.net/projects/viking/ seems to encourage to use GitHub ("Where you may find it easier to view the code and raise issues there too"). > No new release since 2021, while there seems to be a steady stream > of commits (including bug fixes) on github. Do you think it makes > sense to switch to packaging the git HEAD? It's early in the forky > release cycle, I think we could try that. Probably. The viking package does not provide libraries, so you will not have issues concerning API/ABI compatibility. -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / Pascaline project (LIP, ENS-Lyon)
