|File Search||Catalog||Content Search|
This package contains the files necessary to use the APRON library in C.
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) unstable; urgency=low * Follow-on NMU to fix the binary dependency on libppl0.10-dev. Really Closes: #620716. -- Steve Langasek <firstname.lastname@example.org> Sun, 10 Apr 2011 09:38:37 +0000 apron (0.9.10-5.1) unstable; urgency=low * Non-maintainer upload. * Build-depend on the libppl-dev virtual package instead of libppl0.10-dev, since this latter package is no longer 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»