ソースパッケージ: apron (0.9.10-4build1) [universe]
apron に関するリンク
Ubuntu の資源:
メンテナ:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (メールアーカイブ)
- Samuel Mimram
It should generally not be necessary for users to contact the original maintainer.
外部の資源:
- ホームページ [apron.cri.ensmp.fr]
以下のバイナリパッケージがこのソースパッケージからビルドされています。
- libapron
- Runtime libraries for APRON
- libapron-dev
- An abstract interpretation library
- libapron-ocaml
- Runtime libraries for APRON
- libapron-ocaml-dev
- An abstract interpretation library
その他の apron 関連パッケージ
|
|
-
- adep: debhelper (>= 7.0.50~)
- helper programs for debian/rules
-
- adep: ocaml (>= 3.11.1)
- ML language implementation with a class-based object system
-
- adep: ocaml-best-compilers
- 以下のパッケージによって提供される仮想パッケージです: ocaml-native-compilers
-
- adep: camlidl
- Stub code generator for Objective Caml
-
- adep: dh-ocaml (>= 0.9)
- helper tools for maintaining OCaml-related Debian packages
-
- adep: libgmp3-dev
- Multiprecision arithmetic library developers tools
-
- adep: libmpfr-dev
- multiple precision floating-point computation developers tools
-
- adep: libppl0.10-dev
- Parma Polyhedra Library (development)
-
- adep: texi2html (>= 1.82)
- Convert Texinfo files to HTML
-
- adep: quilt (>= 0.46-7~)
- Tool to work with series of patches
Download apron
| ファイル | サイズ (単位: kB) | MD5 チェックサム |
|---|---|---|
| apron_0.9.10-4build1.dsc | 1.7 kB | f83bc9a8464b3e3975f182d672ab2352 |
| apron_0.9.10.orig.tar.gz | 912.4 kB | 17058de80f7352885eb4064585baf873 |
| apron_0.9.10-4build1.diff.gz | 7.8 kB | dc742d387bc3eb1aab0cc8fa805324be |
- Debian パッケージソースリポジトリ (VCS: Git)
- git://git.debian.org/git/pkg-ocaml-maint/packages/apron.git
- Debian パッケージソースリポジトリ (ブラウザで表示可能)
- http://git.debian.org/?p=pkg-ocaml-maint/packages/apron.git