Ubuntu
coq-doc package

  1. Bug #200073
  2. Comment #2

Comment 2 for bug 200073

Revision history for this message
Sylvain Nahas (myself-sylvain-nahas) wrote :

Sorry.

I noticed too late that the attached screenshot has not extension.

$ file /tmp/ScreenschotSynaptic
/tmp/ScreenschotSynaptic: PNG image data, 1275 x 725, 8-bit/color RGBA, non-interlaced