Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ocaml-integers-devel | Distribution: Mageia |
Version: 0.7.0 | Vendor: Mageia.Org |
Release: 1.mga9 | Build date: Sat Oct 8 23:47:19 2022 |
Group: Development/OCaml | Build host: localhost |
Size: 806359 | Source RPM: ocaml-integers-0.7.0-1.mga9.src.rpm |
Packager: pterjan <pterjan> | |
Url: https://github.com/ocamllabs/ocaml-integers | |
Summary: Development files for ocaml-integers |
The ocaml-integers-devel package contains libraries and signature files for developing applications that use ocaml-integers.
MIT
* Sat Oct 08 2022 pterjan <pterjan> 0.7.0-1.mga9 + Revision: 1895620 - Update to 0.7.0 * Thu May 19 2022 pterjan <pterjan> 0.5.1-3.mga9 + Revision: 1859010 - Rebuild for OCaml 4.14 * Tue Mar 29 2022 umeabot <umeabot> 0.5.1-2.mga9 + Revision: 1833137 - Mageia 9 Mass Rebuild * Wed Oct 13 2021 tv <tv> 0.5.1-1.mga9 + Revision: 1751107 - Version 0.5.1 - Reenable debuginfo * Sat Mar 06 2021 tv <tv> 0.4.0-1.mga9 + Revision: 1699944 - imported package ocaml-integers
/usr/lib64/ocaml/integers/dune-package /usr/lib64/ocaml/integers/integers.a /usr/lib64/ocaml/integers/integers.cmxa /usr/lib64/ocaml/integers/libintegers_stubs.a /usr/lib64/ocaml/integers/ocaml_integers.h /usr/lib64/ocaml/integers/opam /usr/lib64/ocaml/integers/signed.cmt /usr/lib64/ocaml/integers/signed.cmti /usr/lib64/ocaml/integers/signed.cmx /usr/lib64/ocaml/integers/signed.mli /usr/lib64/ocaml/integers/top/install_integer_printers.cmt /usr/lib64/ocaml/integers/top/install_integer_printers.cmti /usr/lib64/ocaml/integers/top/install_integer_printers.mli /usr/lib64/ocaml/integers/top/integer_printers.cmt /usr/lib64/ocaml/integers/top/integer_printers.cmti /usr/lib64/ocaml/integers/top/integer_printers.mli /usr/lib64/ocaml/integers/unsigned.cmt /usr/lib64/ocaml/integers/unsigned.cmti /usr/lib64/ocaml/integers/unsigned.cmx /usr/lib64/ocaml/integers/unsigned.mli
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Dec 27 06:03:49 2024