Log in / Register
Ubuntu
coq-record-update 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-record-update in Ubuntu has no merge proposals.