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

mona-devel-1.4r18-9.fc39 RPM for ppc64le

From Fedora 39 for ppc64le / m

Name: mona-devel Distribution: Fedora Project
Version: 1.4r18 Vendor: Fedora Project
Release: 9.fc39 Build date: Thu Jul 20 18:00:51 2023
Group: Unspecified Build host: buildvm-ppc64le-24.iad2.fedoraproject.org
Size: 702779 Source RPM: mona-1.4r18-9.fc39.src.rpm
Packager: Fedora Project
Url: https://www.brics.dk/mona/
Summary: Header files for developing applications with Mona
 
Header files for developing applications that use the Mona libraries.

Provides

Requires

License

GPL-2.0-or-later AND OFL-1.1-RFN AND Knuth-CTAN AND AGPL-3.0-only

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/include/mona
/usr/include/mona/bdd.h
/usr/include/mona/config.h
/usr/include/mona/dfa.h
/usr/include/mona/dlmalloc.h
/usr/include/mona/gnuc.h
/usr/include/mona/gta.h
/usr/include/mona/mem.h
/usr/lib64/libmonabdd.so
/usr/lib64/libmonadfa.so
/usr/lib64/libmonagta.so
/usr/lib64/libmonamem.so
/usr/share/doc/mona-devel
/usr/share/doc/mona-devel/mona14.pdf

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Mar 9 17:08:45 2025