Skip to content

Pinned issues

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.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

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
Dependency cycle bug
#16909 opened Jul 29, 2020 by AltGr
conf-sdl2: detect SDL version
#16741 opened Jul 2, 2020 by sanette
Migrate Z3 from Python 2-based build.
#16611 opened Jun 11, 2020 by XVilka
OCaml 4.11 release readiness checklist
#16539 opened May 28, 2020 by kit-ty-kate 18 of 20
patch compiler packages for gcc 10
#16538 opened May 28, 2020 by c-cube
openssl not found with musl bug
#16330 opened Apr 14, 2020 by mro
Packages with bad checksum
#15298 opened Nov 15, 2019 by rjbou
Use system-num, if available
#14646 opened Aug 6, 2019 by dra27
Some packages with broken upstreams
#12421 opened Aug 1, 2018 by AltGr
`opam admin check` enhancement
#11378 opened Feb 8, 2018 by AltGr
ProTip! Updated in the last three days: updated:>2020-09-19.
You can’t perform that action at this time.