Description
libreins-ocaml-dev - data structure library for OCaml
| Property | Value |
|---|---|
| Distribution | Debian 8 (Jessie) |
| Repository | Debian Main i386 |
| Package name | libreins-ocaml-dev |
| Package version | 0.1a |
| Package release | 5 |
| Package architecture | i386 |
| Package type | deb |
| Installed size | 3.13 KB |
| Download size | 745.72 KB |
| Official Mirror | ftp.br.debian.org |
The OCaml Reins data structure library consists of the following persistent implementations: * Lists (singly, O(1) catenable, Acyclic doubly linked, random access) * Sets/Maps (AVL, Red/Black, Patricia, Splay) * Heaps (Binomial, Skew-Binomial) All of the implementations conform to a unified signature for each data type. Also, each data types include zipper style cursor interfaces and persistent, bi-directional cursor based iterators. The library also includes a set of standard modules to hoist the base typs into the module level (Int, Bool, etc...) as well as a collection of functor combinators to minimize boilerplate (e.g., for constructing compare or to_string functions). Finally, a quickcheck-like random testing framework is included and each data type supports the necessary "gen" function to generate a random instance of the type.
Alternatives
| Package | Version | Architecture | Repository |
|---|---|---|---|
| libreins-ocaml-dev_0.1a-5_amd64.deb | 0.1a | amd64 | Debian Main |
| libreins-ocaml-dev | - | - | - |
Requires
| Name | Value |
|---|---|
| ocaml-nox-4.01.0 | - |
Provides
| Name | Value |
|---|---|
| libreins-ocaml-dev-ivpy4 | - |
Download
| Type | URL |
|---|---|
| Binary Package | libreins-ocaml-dev_0.1a-5_i386.deb |
| Source Package | ocaml-reins |
Install Howto
- Update the package index:
# sudo apt-get update - Install libreins-ocaml-dev deb package:
# sudo apt-get install libreins-ocaml-dev
Files
| Path |
|---|
| /usr/lib/ocaml/reins/META |
| /usr/lib/ocaml/reins/aVLMap.mli |
| /usr/lib/ocaml/reins/aVLSet.mli |
| /usr/lib/ocaml/reins/binomialHeap.mli |
| /usr/lib/ocaml/reins/catenableList.mli |
| /usr/lib/ocaml/reins/doubleList.mli |
| /usr/lib/ocaml/reins/doubleQueue.mli |
| /usr/lib/ocaml/reins/dug.mli |
| /usr/lib/ocaml/reins/dugADT.mli |
| /usr/lib/ocaml/reins/dugExtractor.mli |
| /usr/lib/ocaml/reins/dugGenerator.mli |
| /usr/lib/ocaml/reins/dugProfile.mli |
| /usr/lib/ocaml/reins/heaps.mli |
| /usr/lib/ocaml/reins/iterator.mli |
| /usr/lib/ocaml/reins/listCursor.mli |
| /usr/lib/ocaml/reins/listIterator.mli |
| /usr/lib/ocaml/reins/lists.mli |
| /usr/lib/ocaml/reins/maps.mli |
| /usr/lib/ocaml/reins/oracle.mli |
| /usr/lib/ocaml/reins/oracleList.mli |
| /usr/lib/ocaml/reins/oracleSet.mli |
| /usr/lib/ocaml/reins/patriciaMap.mli |
| /usr/lib/ocaml/reins/patriciaSet.mli |
| /usr/lib/ocaml/reins/quickcheck.mli |
| /usr/lib/ocaml/reins/rBMap.mli |
| /usr/lib/ocaml/reins/rBSet.mli |
| /usr/lib/ocaml/reins/reins.a |
| /usr/lib/ocaml/reins/reins.cma |
| /usr/lib/ocaml/reins/reins.cmi |
| /usr/lib/ocaml/reins/reins.cmx |
| /usr/lib/ocaml/reins/reins.cmxa |
| /usr/lib/ocaml/reins/sList.mli |
| /usr/lib/ocaml/reins/sets.mli |
| /usr/lib/ocaml/reins/skewBinaryList.mli |
| /usr/lib/ocaml/reins/skewBinomialHeap.mli |
| /usr/lib/ocaml/reins/splayMap.mli |
| /usr/lib/ocaml/reins/splaySet.mli |
| /usr/lib/ocaml/reins/treeSetIterator.mli |
| /usr/lib/ocaml/reins/types.mli |
| /usr/lib/ocaml/reins/version.mli |
| /usr/share/doc/libreins-ocaml-dev/changelog.Debian.gz |
| /usr/share/doc/libreins-ocaml-dev/copyright |
| /var/lib/ocaml/lintian/libreins-ocaml-dev.info |
| /var/lib/ocaml/md5sums/libreins-ocaml-dev.md5sums |
Changelog
2014-01-30 - Stéphane Glondu <glondu@debian.org> ocaml-reins (0.1a-5) unstable; urgency=medium * Team upload * debian/patches: + Fix test-suite with new oUnit (Closes: #713499) + Fix version in META * Remove myself from Uploaders * Update Vcs-* * Add ocaml-findlib to Suggests
2011-04-21 - Mehdi Dogguy <mehdi@debian.org> ocaml-reins (0.1a-4) unstable; urgency=low * Team upload. * Set a dummy HOME when calling omake (fixes FTBFS on buildds where HOME is not set).
2009-12-20 - Stéphane Glondu <glondu@debian.org> ocaml-reins (0.1a-3) unstable; urgency=low * Switch to dh-ocaml 0.9 * Switch to format 3.0 (quilt) * debian/control: - update my e-mail address, remove DMUA - update Standards-Version to 3.8.3 (no changes)
2009-07-04 - Stephane Glondu <steph@glondu.net> ocaml-reins (0.1a-2) unstable; urgency=low [ Stefano Zacchiroli ] * promote Homepage to a real debian/control field, now that dpkg supports it [ Stephane Glondu ] * Switch packaging to git * Switch patches to quilt, add README.source * Use dh and bump debhelper compatibility level to 7 * debian/control: - set Maintainer to d-o-m, add Mike and myself to Uploaders - move to section ocaml - update Standards-Version to 3.8.2 - add versioned dependency on omake to avoid buggy package * Switch debian/copyright to new format
2007-10-02 - Mike Furr <mfurr@debian.org> ocaml-reins (0.1a-1) unstable; urgency=low * Initial release (Closes: #445039)
See Also
| Package | Description |
|---|---|
| libreiser4-dev_1.0.9-2_i386.deb | Reiser4's filesystem access and manipulation library. Devel files |
| librelative-perl_0.04-1_all.deb | Load modules with relative names |
| librelaxng-datatype-java_1.0+ds1-3_all.deb | Java datatype interface for RELAX NG |
| librelaxngcc-java-doc_1.12-1_all.deb | RELAX NG Compiler Compiler -- documentation |
| librelaxngcc-java_1.12-1_all.deb | RELAX NG Compiler Compiler |
| libreligion-islam-prayertimes-perl_1.02-1_all.deb | Perl module that calculates Muslim Prayers Times and Sunrise |
| librelion+gui-1.3-1_1.3+dfsg-2_i386.deb | RELION dynnamic library (3D reconstructions in cryo-electron microscopy) |
| librelion+gui-dev_1.3+dfsg-2_i386.deb | C++ API for RELION (3D reconstructions in cryo-electron microscopy) |
| librelion+mpi+gui-1.3-1_1.3+dfsg-2_i386.deb | RELION dynnamic library (3D reconstructions in cryo-electron microscopy) |
| librelion+mpi+gui-dev_1.3+dfsg-2_i386.deb | C++ API for RELION (3D reconstructions in cryo-electron microscopy) |
| librelion+mpi-1.3-1_1.3+dfsg-2_i386.deb | RELION dynnamic library (3D reconstructions in cryo-electron microscopy) |
| librelion+mpi-dev_1.3+dfsg-2_i386.deb | C++ API for RELION (3D reconstructions in cryo-electron microscopy) |
| librelion-1.3-1_1.3+dfsg-2_i386.deb | RELION dynnamic library (3D reconstructions in cryo-electron microscopy) |
| librelion-dev-common_1.3+dfsg-2_all.deb | C++ API for RELION (3D reconstructions in cryo-electron microscopy) |
| librelion-dev_1.3+dfsg-2_i386.deb | C++ API for RELION (3D reconstructions in cryo-electron microscopy) |
Advertisement
Advertisement