Log in / Register
Ubuntu
coq package
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #1928521
Activity log
Activity log for bug #1928521
Date
Who
What changed
Old value
New value
Message
2021-05-14 22:35:10
Jason Gross
bug
added bug