cduce-devel-0.6.0-1-rosa2014.1.x86_64.rpm


Advertisement

Description

cduce-devel - Development files for cduce

Property Value
Distribution ROSA 2014.1
Repository ROSA Contrib x86_64
Package name cduce-devel
Package version 0.6.0
Package release 1-rosa2014.1
Package architecture x86_64
Package type rpm
Installed size 7.40 MB
Download size 789.36 KB
Official Mirror mirror.rosalab.ru
The cduce-devel package contains libraries and signature files for
developing applications that use cduce.

Alternatives

Package Version Architecture Repository
cduce-devel-0.6.0-2-rosa2014.1.i586.rpm 0.6.0 i586 ROSA Contrib Updates
cduce-devel-0.6.0-2-rosa2014.1.x86_64.rpm 0.6.0 x86_64 ROSA Contrib Updates
cduce-devel-0.6.0-1-rosa2014.1.i586.rpm 0.6.0 i586 ROSA Contrib
cduce-devel - - -

Requires

Name Value
cduce == 0.6.0-1:2014.1

Provides

Name Value
cduce-devel == 0.6.0-1:2014.1

Download

Type URL
Binary Package cduce-devel-0.6.0-1-rosa2014.1.x86_64.rpm
Source Package cduce-0.6.0-1.src.rpm

Install Howto

  1. Enable ROSA Contrib repository on Install and Remove Software"
  2. Update packages list:
    # urpmi.update -a
  3. Install cduce-devel rpm package:
    # urpmi cduce-devel

Files

Path
/usr/lib64/ocaml/cduce/cduce_lib.a
/usr/lib64/ocaml/cduce/cduce_lib.cmxa

Changelog

2014-08-06 - abondrov <andrey.bondrov@rosalab.ru> 0.6.0-1
+ Revision: 97f70ae
- Update BuildRequires

See Also

Package Description
cdvst-0.18-12-rosa2014.1.x86_64.rpm Certain Death via Space Things
cdw-0.7.1-9-rosa2014.1.x86_64.rpm Front-end for tools used for burning data CD/DVD
cel-2.0-1-rosa2014.1.x86_64.rpm Crystal Entity Layer
cel-devel-2.0-1-rosa2014.1.x86_64.rpm Development headers and libraries for cel
cel-doc-2.0-1-rosa2014.1.x86_64.rpm Documentation for cel
celestia-1.6.1-4-rosa2014.1.x86_64.rpm A real-time visual space simulation
cellwriter-1.3.5-2-rosa2014.1.x86_64.rpm Character-based hardwriting input panel
centerim-4.22.10-3-rosa2014.1.x86_64.rpm Console ncurses based multi-protocol instant messenger
cerealizer-0.8.1-2-rosa2014.1.noarch.rpm Python module that allows to save objects in file
certwatch-1.0-12-rosa2014.1.x86_64.rpm SSL certificate monitoring
cget-1.2.101-7-rosa2014.1.x86_64.rpm Web page downloader
cgicc-3.2.15-2-rosa2014.1.x86_64.rpm ANSI C++ class lib that simplifies the creation of CGI apps
cgiirc-0.5.9-12-rosa2014.1.noarch.rpm IRC gateway
cgoban1-1.9.14-16-rosa2014.1.x86_64.rpm A Go game client
chaplin-1.10-10-rosa2014.1.x86_64.rpm A dvd chapter tool
Advertisement
Advertisement