coqide - 8.19.1+dfsg-2
Missing dependencies
Required by: coqide Version: 8.19.1+dfsg-2 Type: Binary Package