Package search

Refine search

Implemented in

C (2)
OCaml (2)

Purpose

Analysing (2)
Checking (2)

Role

Development Library (2)
Program (2)

Software Development

Libraries (2)
OCaml Development (2)
Testing and QA (2)

2 results for libapron-ocaml:

1: 50%	Source: apron [more info] [tag editor] [PTS] debian/control libapron-ocaml-dev - abstract interpretation library (OCaml interface)
2: 49%	Source: apron [more info] [tag editor] [PTS] debian/control libapron-ocaml - runtime libraries for APRON (OCaml interface)

Copyright © 2011-2013 Enrico Zini <enrico@debian.org>. See license terms. Source code is available.

Debtags is part of Debian.

Powered by Xapian and apt-xapian-index.