ocaml-zarith-devel-1.9.1-1.mga8.i586.rpm


Advertisement

Description

ocaml-zarith-devel - Development files for ocaml-zarith

Property Value
Distribution Mageia Cauldron
Repository Mageia Core i586
Package filename ocaml-zarith-devel-1.9.1-1.mga8.i586.rpm
Package name ocaml-zarith-devel
Package version 1.9.1
Package release 1.mga8
Package architecture i586
Package type rpm
Category Development/OCaml
Homepage https://github.com/ocaml/Zarith/
License LGPLv2 with exceptions
Maintainer -
Download size 169.18 KB
Installed size 710.14 KB
The ocaml-zarith-devel package contains libraries and signature files for
developing applications that use ocaml-zarith.

Alternatives

Package Version Architecture Repository
ocaml-zarith-devel-1.9.1-1.mga8.x86_64.rpm 1.9.1 x86_64 Mageia Core
ocaml-zarith-devel - - -

Requires

Name Value
gmp-devel -
ocaml-zarith == 1.9.1-1.mga8

Provides

Name Value
ocaml-zarith-devel == 1.9.1-1.mga8
ocaml-zarith-devel(x86-32) == 1.9.1-1.mga8

Download

Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package ocaml-zarith-devel-1.9.1-1.mga8.i586.rpm
Source Package ocaml-zarith-1.9.1-1.mga8.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install ocaml-zarith-devel rpm package:
    # urpmi ocaml-zarith-devel

Files

Path
/usr/lib/ocaml/zarith/big_int_Z.cmti
/usr/lib/ocaml/zarith/big_int_Z.cmx
/usr/lib/ocaml/zarith/big_int_Z.mli
/usr/lib/ocaml/zarith/libzarith.a
/usr/lib/ocaml/zarith/q.cmti
/usr/lib/ocaml/zarith/q.cmx
/usr/lib/ocaml/zarith/q.mli
/usr/lib/ocaml/zarith/z.cmti
/usr/lib/ocaml/zarith/z.cmx
/usr/lib/ocaml/zarith/z.mli
/usr/lib/ocaml/zarith/zarith.a
/usr/lib/ocaml/zarith/zarith.cmxa
/usr/lib/ocaml/zarith/zarith.h
/usr/share/doc/ocaml-zarith-devel/
/usr/share/doc/ocaml-zarith-devel/html/Big_int_Z.html
/usr/share/doc/ocaml-zarith-devel/html/Q.html
/usr/share/doc/ocaml-zarith-devel/html/Z.Compare.html
/usr/share/doc/ocaml-zarith-devel/html/Z.html
/usr/share/doc/ocaml-zarith-devel/html/index.html
/usr/share/doc/ocaml-zarith-devel/html/index_attributes.html
/usr/share/doc/ocaml-zarith-devel/html/index_class_types.html
/usr/share/doc/ocaml-zarith-devel/html/index_classes.html
/usr/share/doc/ocaml-zarith-devel/html/index_exceptions.html
/usr/share/doc/ocaml-zarith-devel/html/index_extensions.html
/usr/share/doc/ocaml-zarith-devel/html/index_methods.html
/usr/share/doc/ocaml-zarith-devel/html/index_module_types.html
/usr/share/doc/ocaml-zarith-devel/html/index_modules.html
/usr/share/doc/ocaml-zarith-devel/html/index_types.html
/usr/share/doc/ocaml-zarith-devel/html/index_values.html
/usr/share/doc/ocaml-zarith-devel/html/style.css
/usr/share/doc/ocaml-zarith-devel/html/type_Big_int_Z.html
/usr/share/doc/ocaml-zarith-devel/html/type_Q.html
/usr/share/doc/ocaml-zarith-devel/html/type_Z.Compare.html
/usr/share/doc/ocaml-zarith-devel/html/type_Z.html

Changelog

2020-01-24 - tv <tv> 1.9.1-1.mga8
+ Revision: 1482693
- new release + rebuild for ocaml-4.10
2018-10-23 - tv <tv> 1.7-4.mga7
+ Revision: 1324069
- rebuild with ocaml-4.07.1
2018-10-22 - pterjan <pterjan> 1.7-3.mga7
+ Revision: 1323784
- Rebuild for ocaml 4.07
2018-09-23 - umeabot <umeabot> 1.7-2.mga7
+ Revision: 1299951
- Mageia 7 Mass Rebuild
2018-03-25 - daviddavid <daviddavid> 1.7-1.mga7
+ Revision: 1212392
- new version: 1.7
- update URL and Source URL

See Also

Package Description
ocaml-zed-2.0.3-1.mga8.i586.rpm Abstract engine for text edition in OCaml (development tools)
ocaml-zed-devel-2.0.3-1.mga8.i586.rpm Development files for ocaml-zed
ocamldsort-0.16.0-10.mga7.i586.rpm A dependency sorter for OCaml source files
ocamlfuse-2.7.1-6.mga8.i586.rpm Ocaml FUSE binding
ocamlify-0.0.2-13.mga8.i586.rpm Include files in OCaml code
ocamlmakefile-6.37.0-11.mga8.i586.rpm Automated compilation of complex OCaml-projects
ocamlmakefile-doc-6.37.0-11.mga8.i586.rpm Documentation and examples files for ocamlmakefile
ocamlmod-0.0.9-4.mga8.i586.rpm Generate OCaml modules from source files
ocamlwc-0.3-13.mga8.i586.rpm Count the lines of code and comments in OCaml sources
oclock-1.0.4-3.mga8.i586.rpm Round X clock
ocrad-0.21-3.mga8.i586.rpm Optical Character Recognition
ocrad-devel-0.21-3.mga8.i586.rpm Header files needed for ocard development
ocrfeeder-0.8.1-5.mga7.noarch.rpm Optical Character Recognition program
ocs-url-3.0.3-4.mga8.i586.rpm An install helper program for OpenCollaborationServices
ocsinventory-agent-2.3-3.mga8.i586.rpm Unified client for OCS-Inventory
Advertisement
Advertisement