すべてのオプション
bookworm  ] [  trixie  ] [  sid  ]

ソースパッケージ: coq-interval (4.9.0-1)

coq-interval に関するリンク

Debian の資源:

メンテナ:

外部の資源:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
libcoq-interval
interval arithmetic for Coq

その他の coq-interval 関連パッケージ

  • 構築依存
  • 構築依存 (アーキテクチャ非依存)

Download coq-interval

ファイルサイズ (単位: kB)MD5 チェックサム
coq-interval_4.9.0-1.dsc 2.1 kB 646c528fc9d3f73d6d34858df4527656
coq-interval_4.9.0.orig.tar.bz2 275.4 kB 5a6af473def63c486d12e04a8a556330
coq-interval_4.9.0-1.debian.tar.xz 9.0 kB aa965536b6965bd56a8f4da14d387e23
Debian パッケージソースリポジトリ (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-interval.git
Debian パッケージソースリポジトリ (ブラウザで表示可能)
https://salsa.debian.org/ocaml-team/coq-interval