Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

mona-examples-1.4r18-7.fc37 RPM for noarch

From Fedora 37 for ppc64le / m

Name: mona-examples Distribution: Fedora Project
Version: 1.4r18 Vendor: Fedora Project
Release: 7.fc37 Build date: Fri Jul 22 01:48:58 2022
Group: Unspecified Build host: buildvm-x86-16.iad2.fedoraproject.org
Size: 52655 Source RPM: mona-1.4r18-7.fc37.src.rpm
Packager: Fedora Project
Url: https://www.brics.dk/mona/
Summary: Example Mona source files and C programs
 
Example Mona source files, for use with the mona executable, and also sample C
programs that access the Mona library interfaces.

Provides

Requires

License

GPLv2+

Changelog

* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r18-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r18-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Tue Nov 09 2021 Jerry James <loganjerry@gmail.com> - 1.4r18-5
  - Drop XEmacs support
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r18-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r18-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r18-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Files

/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

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 21:14:35 2024