SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

mona-examples rpm build for : Fedora 22. For other distributions click mona-examples.

Name : mona-examples
Version : 1.4r15 Vendor : Fedora Project
Release : 5.fc22 Date : 2015-02-10 16:52:49
Group : Applications/Engineering Source RPM : mona-1.4r15-5.fc22.src.rpm
Size : 0.06 MB
Packager : Fedora Project
Summary : Example Mona source files and C programs
Description :
Example Mona source files, for use with the mona executable, and also sample C
programs that access the Mona library interfaces.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/22/Everything/armhfp/os/Packages/m

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  mona-examples-1.4r15-5.fc22.noarch.rpm
ftp.icm.edu.pl  mona-examples-1.4r15-5.fc22.noarch.rpm
ftp.icm.edu.pl  mona-examples-1.4r15-5.fc22.noarch.rpm
     

Provides :
mona-examples

Requires :
rpmlib(PayloadIsXz) <= 5.2-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1
/bin/sh
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
mona-libs = 1.4r15-5.fc22


Content of RPM :
/usr/bin/bdd_example
/usr/bin/gta_example
/usr/bin/presburger_analysis
/usr/bin/presburger_transduction
/usr/share/doc/mona-examples
/usr/share/doc/mona-examples/ab1.mona
/usr/share/doc/mona-examples/ab2.mona
/usr/share/doc/mona-examples/bdd_volatility
/usr/share/doc/mona-examples/even.mona
/usr/share/doc/mona-examples/even_with_assert.mona
/usr/share/doc/mona-examples/even_with_pred.mona
/usr/share/doc/mona-examples/html.mona
/usr/share/doc/mona-examples/hyman.mona
/usr/share/doc/mona-examples/lossy_queue.mona
/usr/share/doc/mona-examples/minusmodulo.mona
/usr/share/doc/mona-examples/nadder.mona
/usr/share/doc/mona-examples/plusmodulo.mona
/usr/share/doc/mona-examples/presburger.mona
/usr/share/doc/mona-examples/regexp.mona

 
ICM