libatd-ocaml-dev_1.1.2-1_amd64.deb


Advertisement

Description

libatd-ocaml-dev - syntax for cross-language data types in OCaml - development files

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libatd-ocaml-dev
Package version 1.1.2
Package release 1
Package architecture amd64
Package type deb
Installed size 3.21 KB
Download size 755.98 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 development files needed for programming
with the library.

Alternatives

Package Version Architecture Repository
libatd-ocaml-dev_1.1.2-1_i386.deb 1.1.2 i386 Debian Main
libatd-ocaml-dev - - -

Requires

Name Value
libatd-ocaml-aeqh9 -
libc6 >= 2.14
libeasy-format-ocaml-dev-zd572 -
ocaml-nox-4.01.0 -

Provides

Name Value
libatd-ocaml-dev-aeqh9 -

Download

Type URL
Binary Package libatd-ocaml-dev_1.1.2-1_amd64.deb
Source Package ocaml-atd

Install Howto

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

Files

Path
/usr/bin/atdcat
/usr/lib/ocaml/atd/atd.a
/usr/lib/ocaml/atd/atd.cmxa
/usr/lib/ocaml/atd/atd_annot.cmi
/usr/lib/ocaml/atd/atd_annot.cmo
/usr/lib/ocaml/atd/atd_annot.cmx
/usr/lib/ocaml/atd/atd_annot.mli
/usr/lib/ocaml/atd/atd_annot.o
/usr/lib/ocaml/atd/atd_ast.cmi
/usr/lib/ocaml/atd/atd_ast.cmo
/usr/lib/ocaml/atd/atd_ast.cmx
/usr/lib/ocaml/atd/atd_ast.mli
/usr/lib/ocaml/atd/atd_ast.o
/usr/lib/ocaml/atd/atd_check.cmi
/usr/lib/ocaml/atd/atd_check.cmo
/usr/lib/ocaml/atd/atd_check.cmx
/usr/lib/ocaml/atd/atd_check.ml
/usr/lib/ocaml/atd/atd_check.o
/usr/lib/ocaml/atd/atd_doc.cmi
/usr/lib/ocaml/atd/atd_doc.cmo
/usr/lib/ocaml/atd/atd_doc.cmx
/usr/lib/ocaml/atd/atd_doc.mli
/usr/lib/ocaml/atd/atd_doc.o
/usr/lib/ocaml/atd/atd_doc_lexer.cmi
/usr/lib/ocaml/atd/atd_doc_lexer.cmo
/usr/lib/ocaml/atd/atd_doc_lexer.cmx
/usr/lib/ocaml/atd/atd_doc_lexer.ml
/usr/lib/ocaml/atd/atd_doc_lexer.mll
/usr/lib/ocaml/atd/atd_doc_lexer.o
/usr/lib/ocaml/atd/atd_expand.cmi
/usr/lib/ocaml/atd/atd_expand.cmo
/usr/lib/ocaml/atd/atd_expand.cmx
/usr/lib/ocaml/atd/atd_expand.mli
/usr/lib/ocaml/atd/atd_expand.o
/usr/lib/ocaml/atd/atd_indent.cmi
/usr/lib/ocaml/atd/atd_indent.cmo
/usr/lib/ocaml/atd/atd_indent.cmx
/usr/lib/ocaml/atd/atd_indent.mli
/usr/lib/ocaml/atd/atd_indent.o
/usr/lib/ocaml/atd/atd_inherit.cmi
/usr/lib/ocaml/atd/atd_inherit.cmo
/usr/lib/ocaml/atd/atd_inherit.cmx
/usr/lib/ocaml/atd/atd_inherit.mli
/usr/lib/ocaml/atd/atd_inherit.o
/usr/lib/ocaml/atd/atd_lexer.cmi
/usr/lib/ocaml/atd/atd_lexer.cmo
/usr/lib/ocaml/atd/atd_lexer.cmx
/usr/lib/ocaml/atd/atd_lexer.ml
/usr/lib/ocaml/atd/atd_lexer.mll
/usr/lib/ocaml/atd/atd_lexer.o
/usr/lib/ocaml/atd/atd_parser.cmi
/usr/lib/ocaml/atd/atd_parser.cmo
/usr/lib/ocaml/atd/atd_parser.cmx
/usr/lib/ocaml/atd/atd_parser.mli
/usr/lib/ocaml/atd/atd_parser.o
/usr/lib/ocaml/atd/atd_predef.cmi
/usr/lib/ocaml/atd/atd_predef.cmo
/usr/lib/ocaml/atd/atd_predef.cmx
/usr/lib/ocaml/atd/atd_predef.ml
/usr/lib/ocaml/atd/atd_predef.o
/usr/lib/ocaml/atd/atd_print.cmi
/usr/lib/ocaml/atd/atd_print.cmo
/usr/lib/ocaml/atd/atd_print.cmx
/usr/lib/ocaml/atd/atd_print.mli
/usr/lib/ocaml/atd/atd_print.o
/usr/lib/ocaml/atd/atd_reflect.cmi
/usr/lib/ocaml/atd/atd_reflect.cmo
/usr/lib/ocaml/atd/atd_reflect.cmx
/usr/lib/ocaml/atd/atd_reflect.mli
/usr/lib/ocaml/atd/atd_reflect.o
/usr/lib/ocaml/atd/atd_sort.cmi
/usr/lib/ocaml/atd/atd_sort.cmo
/usr/lib/ocaml/atd/atd_sort.cmx
/usr/lib/ocaml/atd/atd_sort.o
/usr/lib/ocaml/atd/atd_util.cmi
/usr/lib/ocaml/atd/atd_util.cmo
/usr/lib/ocaml/atd/atd_util.cmx
/usr/lib/ocaml/atd/atd_util.mli
/usr/lib/ocaml/atd/atd_util.o
/usr/lib/ocaml/atd/atd_version.cmi
/usr/lib/ocaml/atd/atd_version.cmo
/usr/lib/ocaml/atd/atd_version.cmx
/usr/lib/ocaml/atd/atd_version.ml
/usr/lib/ocaml/atd/atd_version.o
/usr/share/doc-base/libatd-ocaml-dev-manual
/usr/share/doc-base/libatd-ocaml-dev.doc-base.apiref
/usr/share/doc/libatd-ocaml-dev/README.md
/usr/share/doc/libatd-ocaml-dev/atd-manual.html
/usr/share/doc/libatd-ocaml-dev/atd-manual.pdf.gz
/usr/share/doc/libatd-ocaml-dev/changelog.Debian.gz
/usr/share/doc/libatd-ocaml-dev/copyright
/usr/share/doc/libatd-ocaml-dev/odoc/Atd_annot.html
/usr/share/doc/libatd-ocaml-dev/odoc/Atd_ast.html
/usr/share/doc/libatd-ocaml-dev/odoc/Atd_doc.html
/usr/share/doc/libatd-ocaml-dev/odoc/Atd_expand.html
/usr/share/doc/libatd-ocaml-dev/odoc/Atd_indent.html
/usr/share/doc/libatd-ocaml-dev/odoc/Atd_inherit.html
/usr/share/doc/libatd-ocaml-dev/odoc/Atd_print.html
/usr/share/doc/libatd-ocaml-dev/odoc/Atd_reflect.html
/usr/share/doc/libatd-ocaml-dev/odoc/Atd_util.html
/usr/share/doc/libatd-ocaml-dev/odoc/index.html
/usr/share/doc/libatd-ocaml-dev/odoc/index_attributes.html
/usr/share/doc/libatd-ocaml-dev/odoc/index_class_types.html
/usr/share/doc/libatd-ocaml-dev/odoc/index_classes.html
/usr/share/doc/libatd-ocaml-dev/odoc/index_exceptions.html
/usr/share/doc/libatd-ocaml-dev/odoc/index_methods.html
/usr/share/doc/libatd-ocaml-dev/odoc/index_module_types.html
/usr/share/doc/libatd-ocaml-dev/odoc/index_modules.html
/usr/share/doc/libatd-ocaml-dev/odoc/index_types.html
/usr/share/doc/libatd-ocaml-dev/odoc/index_values.html
/usr/share/doc/libatd-ocaml-dev/odoc/style.css
/usr/share/doc/libatd-ocaml-dev/odoc/type_Atd_annot.html
/usr/share/doc/libatd-ocaml-dev/odoc/type_Atd_ast.html
/usr/share/doc/libatd-ocaml-dev/odoc/type_Atd_doc.html
/usr/share/doc/libatd-ocaml-dev/odoc/type_Atd_expand.html
/usr/share/doc/libatd-ocaml-dev/odoc/type_Atd_indent.html
/usr/share/doc/libatd-ocaml-dev/odoc/type_Atd_inherit.html
/usr/share/doc/libatd-ocaml-dev/odoc/type_Atd_print.html
/usr/share/doc/libatd-ocaml-dev/odoc/type_Atd_reflect.html
/usr/share/doc/libatd-ocaml-dev/odoc/type_Atd_util.html
/usr/share/man/man1/atdcat.1.gz
/var/lib/ocaml/lintian/libatd-ocaml-dev.META.atd
/var/lib/ocaml/lintian/libatd-ocaml-dev.info
/var/lib/ocaml/md5sums/libatd-ocaml-dev.md5sums

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)

See Also

Package Description
libatd-ocaml_1.1.2-1_amd64.deb syntax for cross-language data types in OCaml - plugins
libatdgen-ocaml-dev_1.3.1-1+b1_amd64.deb OCaml code generator for biniou and JSON - executable and dev files
libatdgen-ocaml_1.3.1-1+b1_amd64.deb OCaml code generator for biniou and JSON - plugins
libatfs1_1.4pl6-11_amd64.deb The Attributed File System (AtFS runtime libraries)
libatinject-jsr330-api-java-doc_1.0+ds1-1_all.deb Documentation for libatinject-jsr330-api-java
libatinject-jsr330-api-java_1.0+ds1-1_all.deb Java API for JSR-330 Dependency Injection
libatk-adaptor-data_2.14.0-2_all.deb AT-SPI 2 toolkit bridge - transitional dummy package
libatk-adaptor_2.14.0-2_amd64.deb AT-SPI 2 toolkit bridge
libatk-bridge2.0-0_2.14.0-2_amd64.deb AT-SPI 2 toolkit bridge - shared library
libatk-bridge2.0-dev_2.14.0-2_amd64.deb Development files for the AT-SPI 2 toolkit bridge
libatk-wrapper-java-jni_0.30.5-1_amd64.deb ATK implementation for Java using JNI (JNI bindings)
libatk-wrapper-java_0.30.5-1_all.deb ATK implementation for Java using JNI
libatk1.0-0_2.14.0-1_amd64.deb ATK accessibility toolkit
libatk1.0-data_2.14.0-1_all.deb Common files for the ATK accessibility toolkit
libatk1.0-dev_2.14.0-1_amd64.deb Development files for the ATK accessibility toolkit
Advertisement
Advertisement