|File Search||Catalog||Content Search|
This package contains the files necessary to use the APRON library in OCaml.
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»
# 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»
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) <email@example.com> 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»
Version 0.9.10 - Migration advices (due to some API and compilation process changes) * as MLGMPI more»
Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat?action=recall&rev=179 Package more»