パッケージ名 パッケージ説明 ソースパッケージ名 パッケージの内容 すべてのオプション

[  questing  ] [  resolute  ] [  stonking  ]

[ ソース: drat-trim  ]

drat-trim-examples に関するリンク

Ubuntu の資源:

• バグ報告
• Ubuntu での変更履歴
• 著作権ファイル

drat-trim ソースパッケージをダウンロード:

• [drat-trim_0.0~git20240428.effa1dc-2.dsc]
• [drat-trim_0.0~git20240428.effa1dc.orig.tar.gz]
• [drat-trim_0.0~git20240428.effa1dc-2.debian.tar.xz]

メンテナ:

• Ubuntu MOTU Developers (メールアーカイブ)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

• Debian Science Maintainers
• Shengqi Chen

It should generally not be necessary for users to contact the original maintainer.

外部の資源:

• ホームページ [www.cs.utexas.edu]

類似のパッケージ:

• libsolv-dev
• libsolvext-dev
• adapterremoval-examples
• fltk1.1-games
• fltk1.3-games
• fltk1.4-games
• altree-examples
• pdb2pqr-doc
• fractgen-examples
• python3-dartpy
• gtk-3-examples

その他の drat-trim-examples 関連パッケージ

依存

推奨

提案

enhances

• rec: drat-trim

  DART-trim satisfiability proof checker (binary utils)

• sug: bzip2

  high-quality block-sorting file compressor - utilities

drat-trim-examples のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
all	7,069.4 kB	7,196.0 kB	[ファイル一覧]