Generated packages:
- frama-c-1.8-5.fc18.i686
- frama-c-devel-1.8-5.fc18.i686
- frama-c-doc-1.8-5.fc18.noarch
- frama-c-emacs-1.8-5.fc18.noarch
- frama-c-emacs-el-1.8-5.fc18.noarch
- frama-c-xemacs-1.8-5.fc18.noarch
- frama-c-xemacs-el-1.8-5.fc18.noarch
- frama-c-1.8-5.fc18.x86_64
- frama-c-devel-1.8-5.fc18.x86_64
Other version of this rpm: