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

ocaml-lablgtk3-sourceview3-3.1.3-1.mga9 RPM for armv7hl

From Mageia 9 for armv7hl / media / core / release

Name: ocaml-lablgtk3-sourceview3 Distribution: Mageia
Version: 3.1.3 Vendor: Mageia.Org
Release: 1.mga9 Build date: Fri Oct 21 11:37:05 2022
Group: Development/OCaml Build host: localhost
Size: 1259474 Source RPM: ocaml-lablgtk3-3.1.3-1.mga9.src.rpm
Packager: pterjan <pterjan>
Url: http://lablgtk.forge.ocamlcore.org/
Summary: OCaml interface to sourceview3
LablGTK3 is an Objective Caml interface to gtk3.  It uses the rich
type system of Objective Caml to provide a strongly typed, yet very
comfortable, object-oriented interface to gtk3.

This package contains OCaml bindings for gtksourceview3.

Provides

Requires

License

LGPL with static compilation exception

Changelog

* Fri Oct 21 2022 pterjan <pterjan> 3.1.3-1.mga9
  + Revision: 1898171
  - Add missing BuildRequires
  - Update to 3.1.3
* Thu May 19 2022 pterjan <pterjan> 3.1.2-1.mga9
  + Revision: 1859245
  - Update to 3.1.2, add goocanvas subpackage, and move stublib files to the right subpackages
  - Rebuild for OCaml 4.14
* Wed Apr 06 2022 umeabot <umeabot> 3.1.1-7.mga9
  + Revision: 1845959
  - Mageia 9 Mass Rebuild
* Wed Oct 13 2021 tv <tv> 3.1.1-6.mga9
  + Revision: 1750844
  - OCaml 4.13.1 build
  - Add -vadjustment patch to fix layout issue
* Thu Mar 25 2021 tv <tv> 3.1.1-5.mga9
  + Revision: 1709984
  - Fix missing version in META which breaks building coq
  - Kill useless deps
  - Build & include doc
  - Adjust deps
  - Run testsuite
  - Improved description (SILE?T)
* Wed Mar 03 2021 tv <tv> 3.1.1-3.mga9
  + Revision: 1697197
  - rebuild for ocaml-4.2-12

Files

/usr/lib/.build-id
/usr/lib/.build-id/44
/usr/lib/.build-id/44/5f78f999c64b70e92a654a690da6acbe6fe9a5
/usr/lib/ocaml/lablgtk3-sourceview3
/usr/lib/ocaml/lablgtk3-sourceview3/META
/usr/lib/ocaml/lablgtk3-sourceview3/gSourceView3.cmi
/usr/lib/ocaml/lablgtk3-sourceview3/gtkSourceView3.cmi
/usr/lib/ocaml/lablgtk3-sourceview3/gtkSourceView3Props.cmi
/usr/lib/ocaml/lablgtk3-sourceview3/gtkSourceView3_types.cmi
/usr/lib/ocaml/lablgtk3-sourceview3/lablgtk3_sourceview3.cma
/usr/lib/ocaml/lablgtk3-sourceview3/ogtkSourceView3Props.cmi
/usr/lib/ocaml/lablgtk3-sourceview3/sourceView3Enums.cmi
/usr/lib/ocaml/stublibs/dlllablgtk3_sourceview3_stubs.so


Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Nov 23 04:53:50 2024