Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

Already on GitHub? Sign in to your account

Filter by author
Filter by label
Use alt + click/return to exclude labels.
Filter by project
Filter by milestone
Filter by who’s assigned
Profiled (base) libraries for Ubuntu?
#354 opened Jan 19, 2020 by jrp2014
#324 opened Nov 5, 2019 by phadej
v2-install needs -z
#294 opened Aug 4, 2019 by phadej
Debian 10 support? packaging 📦
#287 opened Jul 13, 2019 by jrp2014
Adding extra-include-dirs
#284 opened Jun 24, 2019 by phadej
Add --brew option for macOS PR welcome
#261 opened Mar 29, 2019 by maoe
Test script broken for GHC head
#144 opened Mar 22, 2018 by merijn
circleci 2.0 support enhancement
#141 opened Mar 19, 2018 by alanz
Local running support.
#136 opened Mar 6, 2018 by phadej
You can’t perform that action at this time.