Filewatcher File Search File Search
Catalog
Content Search
» » » » »

libapron-ocaml-dev

an abstract interpretation library (OCaml interface)

Variants:
The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain.

This package contains the files necessary to use the APRON library in OCaml.

Homepage:
Package version:0.9.10-5.2+b2
Architecture:mipsel
Distribution:Debian
Filename:libapron-ocaml-dev_0.9.10-5.2+b2_mipsel.deb

/usr/share/doc/libapron-ocaml-dev/README.source

APRON Debian source package
===========================

Patching upstream sources
-------------------------

This source package uses quilt to apply and remove its patches. Please
refer to `/usr/share/doc/quilt/README.source' for information about
how to use quilt for source packages.

The quilt series is generated from the Git repository. Have a look at
the `redo-patches' target of debian/rules 
more»

/usr/share/doc/libapron-ocaml-dev/examples/README

# This file is part of the APRON Library, released under LGPL
# license.

# Please read the COPYING file packaged in the distribution

There are currently two examples, 

- example1.c (C, use of level 1)
- mlexample1.ml, mlexample2.ml, mlexample3.ml (OCaml, level 1).

For C examples, type make example1

For OCaml examples, type make mlexample1 or make mlexample1.opt

Look at the Makefile for makin
more»

/usr/share/doc/libapron-ocaml-dev/changelog.Debian.gz

apron (0.9.10-5.2+b2) sid; urgency=low

  * Binary-only non-maintainer upload for mipsel; no source changes.
  * Recompile with ocaml 3.12.1

 -- mipsel Build Daemon (eysler) <buildd_mipsel-eysler@buildd.debian.org>  Wed, 02 Nov 2011 10:24:15 +0000

apron (0.9.10-5.2) unstable; urgency=low

  * Follow-on NMU to fix the binary dependency on libppl0.10-dev.
    Really Closes: #620716.

 -- Steve Lan
more»

/usr/share/doc/libapron-ocaml-dev/changelog.gz

Version 0.9.10

- Migration advices (due to some API and compilation process changes)

  * as MLGMPI
more»

/usr/share/doc/libapron-ocaml-dev/copyright

Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat?action=recall&rev=179
Package
more»

Browse inside libapron-ocaml-dev_0.9.10-5.2+b2_mipsel.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors
         [DIR]var/ (1)  56408+ mirrors

Download libapron-ocaml-dev_0.9.10-5.2+b2_mipsel.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com