Manpage not found
Sorry, I could not find the specific manpage version you requested! Possibly it is no longer in Debian?
Could I maybe offer you the manpage /bookworm/frama-c-base/frama-c-gui.1.en.html instead?
Sorry, I could not find the specific manpage version you requested! Possibly it is no longer in Debian?
Could I maybe offer you the manpage /bookworm/frama-c-base/frama-c-gui.1.en.html instead?