Alle Optionen
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Quellcode-Paket: apron (0.9.10-5.2)

Links für apron

Debian-Ressourcen:

Betreuer:

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
libapron
runtime libraries for APRON
libapron-dev
an abstract interpretation library
libapron-ocaml
runtime libraries for APRON (OCaml interface)
libapron-ocaml-dev
an abstract interpretation library (OCaml interface)

Andere Pakete mit Bezug zu apron

  • build-depends
  • build-depends-indep

Download apron

DateiGröße (in kB)MD5-Prüfsumme
apron_0.9.10-5.2.dsc 2,0 kB 275cb67d74541f7b177cdf0c7ba3827d
apron_0.9.10.orig.tar.gz 912,4 kB 17058de80f7352885eb4064585baf873
apron_0.9.10-5.2.debian.tar.gz 10,5 kB c6ee5d2defa1673b128f98899a663044
Quellcode-Depot des Debian-Pakets (VCS: Git)
git://git.debian.org/git/pkg-ocaml-maint/packages/apron.git
Quellcode-Depot des Debian-Pakets (browsable)
http://git.debian.org/?p=pkg-ocaml-maint/packages/apron.git