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
Architecture:amd64
Distribution:Debian
Filename:libapron-ocaml-dev_0.9.10-5_amd64.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) unstable; urgency=low

  * Add mpfr_random.diff and rounding_modes.diff (Closes: #589359)
  * debian/control:
    - add myself to Uploaders
    - bump Standards-Version to 3.9.0
  * Install upstream changelog
  * Switch source package format to 3.0 (quilt)

 -- St├ęphane Glondu <glondu@debian.org>  Mon, 19 Jul 2010 13:22:45 +0200

apron (0.9.10-4) unstable; urgency=low

  [ Mehdi 
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_amd64.deb

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

Download libapron-ocaml-dev_0.9.10-5_amd64.deb

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