SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : mona-examples
Version : 1.4r17 Vendor : Fedora Project
Release : 6.fc30 Date : 2018-12-09 11:05:39
Group : Unspecified Source RPM : mona-1.4r17-6.fc30.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: /vol/rzm3/linux-fedora-buffet/alt/risc-v/repo/fedora/rawhide/25835/riscv64/Packages/m

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  mona-examples-1.4r17-6.fc30.noarch.rpm
ftp.icm.edu.pl  mona-examples-1.4r17-6.fc30.noarch.rpm
     

Provides :
mona-examples

Requires :
/usr/bin/sh
mona-libs = 1.4r17-6.fc30
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1


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