Labels · Software / gqm-coq · GitLab

All

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Other labels 9

bug

Software / gqm-coq
- Issues
- Merge requests
critical

Software / gqm-coq
- Issues
- Merge requests
extension

Software / gqm-coq
- Issues
- Merge requests
feature

Software / gqm-coq
- Issues
- Merge requests
need help

Software / gqm-coq
- Issues
- Merge requests
needs more info

Software / gqm-coq
- Issues
- Merge requests
untested

Software / gqm-coq
- Issues
- Merge requests
WIP

Software / gqm-coq
- Issues
- Merge requests
wontfix

Software / gqm-coq
- Issues
- Merge requests