PubGrub: Next-generation version solving (2018) | Hacker News Reader