Sophie

Sophie

distrib > Mageia > 7 > armv7hl > media > core-release > by-pkgid > 74ff5d264b3049ac06808b3ea32c3efc

why3-emacs-1.2.0-1.mga7.noarch.rpm

Description:

This package contains an Emacs support file for working with why3 files.

Sources packages:

Other version of this rpm: