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

libapron-ocaml

runtime libraries for APRON (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 include only the dynamic libraries needed for running dynamic bytecode executables.

Homepage:
Package version:0.9.10-5
Architecture:amd64
Distribution:Debian
Filename:libapron-ocaml_0.9.10-5_amd64.deb

/usr/share/doc/libapron-ocaml/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/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/changelog.gz

Version 0.9.10

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

  * as MLGMPIDL is not included anymore, you may want to consider
    - either apron-dist-XXX.tgz packages
    - or svn co http://svn.cri.ensmp.fr/svn/apron/apron-dist/trunk apron-dist
    that include it.
	
  * Makefile.config: 
    � new variables HAS_SHARED and OCAMLMKLIB

  * C API: 
    � ap_pkgrid_manager_
more»

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

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

Browse inside libapron-ocaml_0.9.10-5_amd64.deb

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

Download libapron-ocaml_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