libatd-ocaml_1.1.2-1_amd64.deb


Advertisement

Description

libatd-ocaml - syntax for cross-language data types in OCaml - plugins

Distribution: Debian 8 (Jessie)
Repository: Debian Main amd64
Package name: libatd-ocaml
Package version: 1.1.2
Package release: 1
Package architecture: amd64
Package type: deb
Installed size: 1.34 KB
Download size: 361.24 KB
Official Mirror: ftp.br.debian.org
ATD stands for Adjustable Type Definitions. It is a type definition language designed to accommodate a variety of programming languages and data formats by the means of target-specific annotations. It supports sum types, parametrized types and inheritance. The library provides a parser and other tools useful for manipulating ATD type definitions. This package contains the shared runtime libraries and plugins.

Alternatives

Provides

  • libatd-ocaml-aeqh9

    Download

    Source package: ocaml-atd

    Install Howto

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

    Files

    • /usr/lib/ocaml/atd/META
    • /usr/lib/ocaml/atd/atd.cma
    • /usr/lib/ocaml/atd/atd.cmxs
    • /usr/share/doc/libatd-ocaml/changelog.Debian.gz
    • /usr/share/doc/libatd-ocaml/copyright

    Changelog

    2014-08-06 - Stéphane Glondu <glondu@debian.org> ocaml-atd (1.1.2-1) unstable; urgency=medium * Team upload * New upstream release

    2014-01-31 - Stéphane Glondu <glondu@debian.org> ocaml-atd (1.1.1-2) unstable; urgency=medium * Team upload * Fix package build on bytecode architectures

    2014-01-29 - Stéphane Glondu <glondu@debian.org> ocaml-atd (1.1.1-1) unstable; urgency=medium * Team upload * New upstream release * Bump Standards-Version to 3.9.5

    2013-06-06 - Hendrik Tews <hendrik@askra.de> ocaml-atd (1.0.3-1) unstable; urgency=low [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders [ Hendrik Tews ] * fix watch file and hompage * new upstream version * add myself as uploader * bump debhelper compat level and standards version * update package description * update copyright * fix patches - delete old patch - add makefile.patch for byte compilation and installation of some ml files - add lintian-allows-to.patch to fix lintian allows warning - add build-manual-without-install.patch to build manual/atd-manual.html without prior installation of the atd library * update rules and other debhelper files * fix build dependencies * install pdf version of manual * enable tests * rewrite/improve man page

    2011-07-11 - Stéphane Glondu <glondu@debian.org> ocaml-atd (1.0.1-1) unstable; urgency=low * Team upload * New upstream release * Bump Standards-Version to 3.9.2

    2010-12-04 - Sylvain Le Gall <gildor@debian.org> ocaml-atd (0.9.2-2) unstable; urgency=low * Add doc-base for ATD manual

    2010-12-02 - Sylvain Le Gall <gildor@debian.org> ocaml-atd (0.9.2-1) unstable; urgency=low * Initial release. (Closes: #605670)

    Advertisement
    Advertisement