libapron-dev_0.9.10-9_all.deb


Advertisement

Description

libapron-dev - abstract interpretation library

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package name libapron-dev
Package version 0.9.10
Package release 9
Package architecture all
Package type deb
Installed size 1.38 KB
Download size 128.89 KB
Official Mirror ftp.br.debian.org
Description -

Alternatives

Package Version Architecture Repository
libapron-dev_0.9.10-9_all.deb 0.9.10 all Debian Main
libapron-dev - - -

Requires

Name Value
libapron -
libgmp3-dev -
libmpfr-dev -
libppl-dev -

Download

Type URL
Binary Package libapron-dev_0.9.10-9_all.deb
Source Package apron

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libapron-dev deb package:
    # sudo apt-get install libapron-dev

Files

Path
/usr/include/ap_abstract0.h
/usr/include/ap_abstract1.h
/usr/include/ap_coeff.h
/usr/include/ap_config.h
/usr/include/ap_dimension.h
/usr/include/ap_environment.h
/usr/include/ap_expr0.h
/usr/include/ap_expr1.h
/usr/include/ap_generator0.h
/usr/include/ap_generator1.h
/usr/include/ap_generic.h
/usr/include/ap_global0.h
/usr/include/ap_global1.h
/usr/include/ap_interval.h
/usr/include/ap_lincons0.h
/usr/include/ap_lincons1.h
/usr/include/ap_linearize.h
/usr/include/ap_linearize_aux.h
/usr/include/ap_linexpr0.h
/usr/include/ap_linexpr1.h
/usr/include/ap_manager.h
/usr/include/ap_pkgrid.h
/usr/include/ap_ppl.h
/usr/include/ap_reducedproduct.h
/usr/include/ap_scalar.h
/usr/include/ap_tcons0.h
/usr/include/ap_tcons1.h
/usr/include/ap_texpr0.h
/usr/include/ap_texpr1.h
/usr/include/ap_var.h
/usr/include/apron_caml.h
/usr/include/bound.h
/usr/include/bound_def.h
/usr/include/box.h
/usr/include/gmp_caml.h
/usr/include/itv.h
/usr/include/itv_config.h
/usr/include/itv_fun.h
/usr/include/itv_linearize.h
/usr/include/itv_linexpr.h
/usr/include/num.h
/usr/include/num_config.h
/usr/include/num_name.h
/usr/include/num_numflt.h
/usr/include/num_numint.h
/usr/include/num_numrat.h
/usr/include/numflt.h
/usr/include/numflt_mpfr.h
/usr/include/numflt_native.h
/usr/include/numint.h
/usr/include/numint_mpz.h
/usr/include/numint_native.h
/usr/include/numrat.h
/usr/include/numrat_mpq.h
/usr/include/numrat_native.h
/usr/include/oct.h
/usr/include/pk.h
/usr/include/pkeq.h
/usr/include/oct/oct_fun.h
/usr/include/oct/oct_internal.h
/usr/lib/libap_pkgrid.so
/usr/lib/libap_ppl.so
/usr/lib/libapron.so
/usr/lib/libboxD.so
/usr/lib/libboxMPFR.so
/usr/lib/libboxMPQ.so
/usr/lib/liboctD.so
/usr/lib/liboctMPQ.so
/usr/lib/libpolkaMPQ.so
/usr/lib/libpolkaRll.so
/usr/share/doc-base/apron
/usr/share/doc/libapron-dev/README.source
/usr/share/doc/libapron-dev/changelog.Debian.gz
/usr/share/doc/libapron-dev/changelog.gz
/usr/share/doc/libapron-dev/copyright
/usr/share/doc/libapron-dev/examples/Makefile
/usr/share/doc/libapron-dev/examples/README
/usr/share/doc/libapron-dev/examples/example1.c
/usr/share/doc/libapron-dev/html/apron.html
/usr/share/doc/libapron-dev/html/apron_1.html
/usr/share/doc/libapron-dev/html/apron_10.html
/usr/share/doc/libapron-dev/html/apron_11.html
/usr/share/doc/libapron-dev/html/apron_12.html
/usr/share/doc/libapron-dev/html/apron_13.html
/usr/share/doc/libapron-dev/html/apron_14.html
/usr/share/doc/libapron-dev/html/apron_15.html
/usr/share/doc/libapron-dev/html/apron_16.html
/usr/share/doc/libapron-dev/html/apron_17.html
/usr/share/doc/libapron-dev/html/apron_18.html
/usr/share/doc/libapron-dev/html/apron_19.html
/usr/share/doc/libapron-dev/html/apron_2.html
/usr/share/doc/libapron-dev/html/apron_20.html
/usr/share/doc/libapron-dev/html/apron_21.html
/usr/share/doc/libapron-dev/html/apron_22.html
/usr/share/doc/libapron-dev/html/apron_23.html
/usr/share/doc/libapron-dev/html/apron_24.html
/usr/share/doc/libapron-dev/html/apron_25.html
/usr/share/doc/libapron-dev/html/apron_26.html
/usr/share/doc/libapron-dev/html/apron_27.html
/usr/share/doc/libapron-dev/html/apron_28.html
/usr/share/doc/libapron-dev/html/apron_29.html
/usr/share/doc/libapron-dev/html/apron_3.html
/usr/share/doc/libapron-dev/html/apron_30.html
/usr/share/doc/libapron-dev/html/apron_31.html
/usr/share/doc/libapron-dev/html/apron_32.html
/usr/share/doc/libapron-dev/html/apron_33.html
/usr/share/doc/libapron-dev/html/apron_34.html
/usr/share/doc/libapron-dev/html/apron_35.html
/usr/share/doc/libapron-dev/html/apron_36.html
/usr/share/doc/libapron-dev/html/apron_37.html
/usr/share/doc/libapron-dev/html/apron_38.html
/usr/share/doc/libapron-dev/html/apron_39.html
/usr/share/doc/libapron-dev/html/apron_4.html
/usr/share/doc/libapron-dev/html/apron_40.html
/usr/share/doc/libapron-dev/html/apron_41.html
/usr/share/doc/libapron-dev/html/apron_42.html
/usr/share/doc/libapron-dev/html/apron_43.html
/usr/share/doc/libapron-dev/html/apron_44.html
/usr/share/doc/libapron-dev/html/apron_45.html
/usr/share/doc/libapron-dev/html/apron_46.html
/usr/share/doc/libapron-dev/html/apron_5.html
/usr/share/doc/libapron-dev/html/apron_6.html
/usr/share/doc/libapron-dev/html/apron_7.html
/usr/share/doc/libapron-dev/html/apron_8.html
/usr/share/doc/libapron-dev/html/apron_9.html
/usr/share/doc/libapron-dev/html/apron_abt.html
/usr/share/doc/libapron-dev/html/oct_doc.html

Changelog

2016-08-03 - Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
apron (0.9.10-9) unstable; urgency=medium
* Team upload.
* Make libapron-dev depend on libapron (Closes: #715070)
* Bump Standards-Version to 3.9.8
* debian/control: Use canonical, HTTPS URLs
* debian/copyright: Update
- Switch to fomat 1.0
- Fix syntax errors
- Fix license information on some files
* debian/rules: Fail on non-installed files
* Use build-time hardening
* Install all shlib symlinks in libapron-dev
This required a package transition
* Fix typos in documentation & binaries
Add patch 0010-Fix-typos.patch
* Add doc-base files
2016-07-14 - Ralf Treinen <treinen@debian.org>
apron (0.9.10-8) unstable; urgency=medium
* Team upload
* Fix package-build with -A, by letting dh install the lintian override
(Closes: #805993). Thanks to Santiago Vila for the patch
2016-01-17 - Mehdi Dogguy <mehdi@debian.org>
apron (0.9.10-7) unstable; urgency=medium
* Team upload.
* Fix build with GCC 5 by not defining strdup (Closes: #808628).
- Add patch 0009-Don-t-define-strdup.patch
2013-12-25 - Stéphane Glondu <glondu@debian.org>
apron (0.9.10-6) unstable; urgency=low
[ Stéphane Glondu ]
* Team upload
* Acknowledge non-maintainer uploads
* debian/control:
- bump debhelper compat level to 9
- update Vcs-*
- remove leading articles from short descriptions
- remove Samuel and myself from Uploaders
[ Matthias Klose ]
* Fix build failure with ppl-1.0 (Closes: #707347)
2011-04-10 - Steve Langasek <vorlon@debian.org>
apron (0.9.10-5.2) unstable; urgency=low
* Follow-on NMU to fix the binary dependency on libppl0.10-dev.
Really Closes: #620716.
2011-04-10 - Steve Langasek <vorlon@debian.org>
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 available in unstable and apron
now fails to build.  Closes: #620716.
2010-07-19 - Stéphane Glondu <glondu@debian.org>
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)
2010-01-17 - Samuel Mimram <smimram@debian.org>
apron (0.9.10-4) unstable; urgency=low
[ Mehdi Dogguy ]
* Remove non-needed Provides for libapron-dev
* Version the build dependency on quilt: >= 0.46-7
[ Samuel Mimram ]
* Added link patch in order to resolve symbols, closes: #558838.
* Fix nonopt patch to build gmp.cmxa.
* Added oct_static patch in order to install oct*.a.
2009-11-17 - Samuel Mimram <smimram@debian.org>
apron (0.9.10-3) unstable; urgency=low
* Remove build dependency on ocaml-native-compilers, closes: #556636.
2009-10-29 - Samuel Mimram <smimram@debian.org>
apron (0.9.10-2) unstable; urgency=low
* Enable PPL support.
* Add nonopt patch in order to be able to build on non-native archs.

See Also

Package Description
libapron-ocaml-dev_0.9.10-9+b3_amd64.deb abstract interpretation library (OCaml interface)
libapron-ocaml_0.9.10-9+b3_amd64.deb runtime libraries for APRON (OCaml interface)
libapron_0.9.10-9+b3_amd64.deb runtime libraries for APRON
libaprutil1-dbd-mysql_1.6.1-2_amd64.deb Apache Portable Runtime Utility Library - MySQL Driver
libaprutil1-dbd-odbc_1.6.1-2_amd64.deb Apache Portable Runtime Utility Library - ODBC Driver
libaprutil1-dbd-pgsql_1.6.1-2_amd64.deb Apache Portable Runtime Utility Library - PostgreSQL Driver
libaprutil1-dbd-sqlite3_1.6.1-2_amd64.deb Apache Portable Runtime Utility Library - SQLite3 Driver
libaprutil1-dev_1.6.1-2_amd64.deb Apache Portable Runtime Utility Library - Development Headers
libaprutil1-ldap_1.6.1-2_amd64.deb Apache Portable Runtime Utility Library - LDAP Driver
libaprutil1_1.6.1-2_amd64.deb Apache Portable Runtime Utility Library
libapt-inst2.0_1.6.3_amd64.deb deb package format runtime library
libapt-pkg-dev_1.6.3_amd64.deb development files for APT's libapt-pkg and libapt-inst
libapt-pkg-doc_1.6.3_all.deb documentation for APT development
libapt-pkg-perl_0.1.34_amd64.deb Perl interface to libapt-pkg
libapt-pkg5.0_1.6.3_amd64.deb package management runtime library
Advertisement
Advertisement