ocaml-zarith-devel-1.7-4.mga7.i586.rpm


Advertisement

Description

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

Property Value
Distribution Mageia 7
Repository Mageia Core i586
Package filename ocaml-zarith-devel-1.7-4.mga7.i586.rpm
Package name ocaml-zarith-devel
Package version 1.7
Package release 4.mga7
Package architecture i586
Package type rpm
Category Development/OCaml
Homepage https://github.com/ocaml/Zarith/
License LGPLv2 with exceptions
Maintainer -
Download size 123.02 KB
Installed size 431.38 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.7-4.mga7.x86_64.rpm 1.7 x86_64 Mageia Core
ocaml-zarith-devel - - -

Requires

Name Value
gmp-devel -
ocaml-zarith = 1.7-4.mga7

Provides

Name Value
ocaml-zarith-devel = 1.7-4.mga7
ocaml-zarith-devel(x86-32) = 1.7-4.mga7

Download

Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package ocaml-zarith-devel-1.7-4.mga7.i586.rpm
Source Package ocaml-zarith-1.7-4.mga7.src.rpm

Install Howto

  1. Enable the repository in Software Management
  2. Install ocaml-zarith-devel rpm package:
    # dnf --refresh install ocaml-zarith-devel

Files

Path
/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.cmx
/usr/lib/ocaml/zarith/q.mli
/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.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.html

Changelog

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
2017-11-26 - tv <tv> 1.4.1-4.mga7
+ Revision: 1179789
- rebuild for new ocaml
2017-11-26 - tv <tv> 1.4.1-3.mga7
+ Revision: 1179643
- rebuild for new ocaml
2017-08-31 - daviddavid <daviddavid> 1.4.1-2.mga7
+ Revision: 1150071
- honor user CFLAGS thus fixing empty debugsourcefiles.list
- fix shared stubs libraries ocaml path

See Also

Package Description
ocaml-zed-1.6-5.mga7.i586.rpm Abstract engine for text edition in OCaml (development tools)
ocaml-zed-devel-1.6-5.mga7.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.mga7.i586.rpm Ocaml FUSE binding
ocamlify-0.0.2-12.mga7.i586.rpm Include files in OCaml code
ocamlmakefile-6.37.0-10.mga7.i586.rpm Automated compilation of complex OCaml-projects
ocamlmakefile-doc-6.37.0-10.mga7.i586.rpm Documentation and examples files for ocamlmakefile
ocamlmod-0.0.9-3.mga7.i586.rpm Generate OCaml modules from source files
ocamlwc-0.3-12.mga7.i586.rpm Count the lines of code and comments in OCaml sources
ocfs2-tools-1.6.4-11.mga7.i586.rpm Tools for managing the Oracle Cluster Filesystem 2
ocfs2-tools-devel-1.6.4-11.mga7.i586.rpm Development for ocfs2-tools
ocfs2-tools-static-devel-1.6.4-11.mga7.i586.rpm Static libraries for ocfs2-tools
ocfs2console-1.6.4-11.mga7.i586.rpm GUI frontend for OCFS2 management
oclock-1.0.4-2.mga7.i586.rpm Round X clock
ocrad-0.21-2.mga7.i586.rpm Optical Character Recognition
Advertisement
Advertisement