-
Notifications
You must be signed in to change notification settings - Fork 17
Issues: na4zagin3/satyrographos-repo
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Fix license identifier of the snapshots
fix license
Fix license
#385
opened Nov 17, 2021 by
na4zagin3
Remove unmaintained libraries from the snapshots
help wanted
Extra attention is needed
snapshot
#276
opened Feb 6, 2021 by
na4zagin3
CI: Handle a case where a package supports SATySFi 0.0.4 but not old Satyrographos
ci
#267
opened Jan 27, 2021 by
na4zagin3
Restore --with-tests and --with-doc when OPAM 2.1 is available
ci
#256
opened Jan 19, 2021 by
na4zagin3
Add missing licenses to font packages
bug
Something isn't working
#193
opened Sep 24, 2020 by
na4zagin3
Previous Next
ProTip!
Updated in the last three days: updated:>2024-12-13.