Log in / Register
Ubuntu
coq-reduction-effects package
Overview
Code
Bugs
Blueprints
Translations
Answers
Merge proposals
Proposals with status:
Any status
Work in progress
Needs review
Approved
Rejected
Merged
Code failed to merge
Queued
Superseded
coq-reduction-effects in Ubuntu has no merge proposals.