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

devhelp-plugins-43.0-1.mga9 RPM for armv7hl

From Mageia 9 for armv7hl / media / core / release

Name: devhelp-plugins Distribution: Mageia
Version: 43.0 Vendor: Mageia.Org
Release: 1.mga9 Build date: Tue Sep 20 17:54:45 2022
Group: Editors Build host: localhost
Size: 6392 Source RPM: devhelp-43.0-1.mga9.src.rpm
Packager: tv <tv>
Url: https://wiki.gnome.org/Apps/Devhelp
Summary: Gedit Plugins for Devhelp
 
Gedit plugins to use with Devhelp.

Provides

Requires

License

GPLv3+

Changelog

* Tue Sep 20 2022 tv <tv> 43.0-1.mga9
  + Revision: 1890893
  - Update to 43.0
* Sun Sep 18 2022 wally <wally> 41.3-1.mga9
  + Revision: 1890075
  - new version 41.3
  - build against webkit2gtk-4.1
* Wed Aug 03 2022 tv <tv> 41.2-3.mga9
  + Revision: 1874892
  - Fix meson 0.61 errors
* Sat Apr 02 2022 umeabot <umeabot> 41.2-2.mga9
  + Revision: 1840522
  - Mageia 9 Mass Rebuild
* Mon Jan 10 2022 tv <tv> 41.2-1.mga9
  + Revision: 1767624
  - 41.2
* Thu Aug 26 2021 ovitters <ovitters> 40.1-1.mga9
  + Revision: 1742602
  - new version 40.1
* Thu May 20 2021 daviddavid <daviddavid> 40.0-1.mga9
  + Revision: 1725797
  - new version 40.0
* Fri Nov 20 2020 ovitters <ovitters> 3.38.1-1.mga8
  + Revision: 1647964
  - new version 3.38.1

Files

/usr/lib/gedit/plugins/devhelp.plugin
/usr/lib/gedit/plugins/devhelp.py

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Feb 11 11:32:52 2025