cduce-devel-0.6.0-17.fc24.x86_64.rpm


Advertisement

Description

cduce-devel - Development files for cduce

Distribution: Fedora 25
Repository: Fedora x86_64
Package name: cduce-devel
Package version: 0.6.0
Package release: 17.fc24
Package architecture: x86_64
Package type: rpm
Installed size: 6.68 MB
Download size: 865.90 KB
Official Mirror: dl.fedoraproject.org
The cduce-devel package contains libraries and signature files for developing applications that use cduce.

Provides

  • cduce-devel = 0.6.0-17.fc24
  • cduce-devel(x86-64) = 0.6.0-17.fc24

    Download

    Install Howto

    Install the cduce-devel rpm package:

    # dnf install cduce-devel

    Files

    • /usr/lib64/ocaml/cduce/cduce_lib.a
    • /usr/lib64/ocaml/cduce/cduce_lib.cmxa
    • /usr/share/doc/cduce-devel/AUTHORS
    • /usr/share/doc/cduce-devel/CHANGES
    • /usr/share/doc/cduce-devel/INSTALL
    • /usr/share/doc/cduce-devel/INSTALL.WIN32
    • /usr/share/doc/cduce-devel/LICENSE
    • /usr/share/doc/cduce-devel/README
    • /usr/share/doc/cduce-devel/index.html
    • /usr/share/doc/cduce-devel/manual.html
    • /usr/share/doc/cduce-devel/manual_expressions.html
    • /usr/share/doc/cduce-devel/manual_interfacewithocaml.html
    • /usr/share/doc/cduce-devel/manual_interpreter.html
    • /usr/share/doc/cduce-devel/manual_schema.html
    • /usr/share/doc/cduce-devel/manual_schema_samples.html
    • /usr/share/doc/cduce-devel/manual_types_patterns.html
    • /usr/share/doc/cduce-devel/memento.html
    • /usr/share/doc/cduce-devel/namespaces.html
    • /usr/share/doc/cduce-devel/sitemap.html
    • /usr/share/doc/cduce-devel/tutorial.html
    • /usr/share/doc/cduce-devel/tutorial_errors.html
    • /usr/share/doc/cduce-devel/tutorial_exercises.html
    • /usr/share/doc/cduce-devel/tutorial_first_functions.html
    • /usr/share/doc/cduce-devel/tutorial_getting_started.html
    • /usr/share/doc/cduce-devel/tutorial_higherorder.html
    • /usr/share/doc/cduce-devel/tutorial_overloading.html
    • /usr/share/doc/cduce-devel/tutorial_patterns.html
    • /usr/share/doc/cduce-devel/tutorial_queries.html
    • /usr/share/doc/cduce-devel/tutorial_references.html
    • /usr/share/doc/cduce-devel/img/left.gif
    • /usr/share/doc/cduce-devel/img/right.gif
    • /usr/share/man/man1/cduce.1.gz
    • /usr/share/man/man1/cduce_mktop.1.gz
    • /usr/share/man/man1/dtd2cduce.1.gz

    Changelog

    Advertisement
    Advertisement