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

mona-examples-1.4r18-9.fc39 RPM for noarch

From Fedora 39 for x86_64 / m

Name: mona-examples Distribution: Fedora Project
Version: 1.4r18 Vendor: Fedora Project
Release: 9.fc39 Build date: Thu Jul 20 17:58:08 2023
Group: Unspecified Build host: buildvm-x86-12.iad2.fedoraproject.org
Size: 52655 Source RPM: mona-1.4r18-9.fc39.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

GPL-2.0-or-later

Changelog

* Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r18-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Thu Mar 16 2023 Jerry James <loganjerry@gmail.com> - 1.4r18-8
  - Correct License tag: CC-PDDC instead of public domain
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r18-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Mon Nov 28 2022 Jerry James <loganjerry@gmail.com> - 1.4r18-7
  - Move the manual to the devel subpackage
  - Convert License tags to SPDX
  - Do not override Fedora build flags
* 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

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, Sun Mar 9 16:42:02 2025