Translation import queue for agda-stdlib in Ubuntu Bionic
These translation related entries are imported, blocked, deleted or waiting to be imported in Launchpad for agda-stdlib in Ubuntu Bionic. Log in to change items in this list.
There are no entries that match this filtering.