jocaml-base_4.01.0-3_amd64.deb


Advertisement

Description

jocaml-base - Runtime system for JOCaml bytecode executables

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name jocaml-base
Package version 4.01.0
Package release 3
Package architecture amd64
Package type deb
Installed size 899 B
Download size 265.97 KB
Official Mirror ftp.br.debian.org
The JOCaml programming language is an extension of the OCaml language with
high-level primitives for communication and synchronization between processes.
This enables programmers to rapidly develop distributed large-scale
applications using the expressivity of OCaml.
This package contains only the runtime system needed to run bytecode
executables. The 'jocaml' package contains the full development suite of
JOCaml.

Alternatives

Package Version Architecture Repository
jocaml-base_4.01.0-3_i386.deb 4.01.0 i386 Debian Main
jocaml-base - - -

Requires

Name Value
libc6 >= 2.14
ocaml-base-nox-4.01.0 -

Provides

Name Value
jocaml-base-4.01.0 -

Download

Type URL
Binary Package jocaml-base_4.01.0-3_amd64.deb
Source Package jocaml

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install jocaml-base deb package:
    # sudo apt-get install jocaml-base

Files

Path
/usr/bin/jocamlrun
/usr/lib/jocaml/ld.conf
/usr/lib/jocaml/stublibs/dllthreads.so
/usr/lib/jocaml/stublibs/dllvmthreads.so
/usr/lib/jocaml/threads/join.cma
/usr/lib/jocaml/threads/threads.cma
/usr/lib/jocaml/vmthreads/join.cma
/usr/lib/jocaml/vmthreads/threads.cma
/usr/lib/jocaml/vmthreads/unix.cma
/usr/share/doc/jocaml-base/changelog.Debian.gz
/usr/share/doc/jocaml-base/changelog.gz
/usr/share/doc/jocaml-base/copyright
/usr/share/man/man1/jocamlrun.1.gz

Changelog

See jocaml_4.01.0-3_amd64.deb changelog.

See Also

Package Description
jocaml_4.01.0-3_amd64.deb OCaml extended for concurrent and distributed programming
jodconverter_2.2.2-8_all.deb Office formats converter
jodreports-cli_2.4.0-3_all.deb Merge OpenDocument text with data - command line tool
joe-jupp_3.1.28-1_all.deb reimplement the joe Debian package using jupp
joe_3.7-2.4_amd64.deb user friendly full screen text editor
john-data_1.8.0-2_all.deb active password cracking tool - character sets
john_1.8.0-2_amd64.deb active password cracking tool
josm-l10n_0.0.svn7643+dfsg1-1_all.deb Editor for OpenStreetMap - translation files
josm-plugins_0.0.svn30763+ds1-1_all.deb Plugins for JOSM
josm_0.0.svn7643+dfsg1-1_all.deb Editor for OpenStreetMap
jove_4.16.0.73-2_amd64.deb Jonathan's Own Version of Emacs - a compact, powerful editor
jovie_4.14.2-1_amd64.deb text-to-speech system
joy2key_1.6.3-1_amd64.deb Translate joystick movements into equivalent keystrokes
joystick_1.4.7-2_amd64.deb set of testing and calibration tools for joysticks
jp2a_1.0.6-5+b2_amd64.deb converts jpg images to ascii
Advertisement
Advertisement