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.2+b2
Architecture:mips
Distribution:Debian
Filename:libapron-ocaml_0.9.10-5.2+b2_mips.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.2+b2) sid; urgency=low

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

 -- mips Build Daemon (corelli) <buildd_mips-corelli@buildd.debian.org>  Wed, 02 Nov 2011 07:59:48 +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 Langase
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.2+b2_mips.deb

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

Download libapron-ocaml_0.9.10-5.2+b2_mips.deb

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