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

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

gringo に関するリンク

Ubuntu の資源:

• バグ報告
• Ubuntu での変更履歴
• 著作権ファイル
• Debian ソースリポジトリ (Git)

メンテナ:

• Ubuntu 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 (メールアーカイブ)
• Thomas Krennwallner

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

外部の資源:

• ホームページ [www.potassco.org]

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

gringo

grounding tools for (disjunctive) logic programs

その他の gringo 関連パッケージ

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

• adep: debhelper-compat (= 13)

  パッケージは利用できません

• adep: dpkg-dev (>= 1.16.1~)

  Debian package development tools

• adep: pkg-kde-tools

  various packaging tools and scripts for KDE Applications

• adep: cmake (>= 3.1.0)

  cross-platform, open-source make system

• adep: catch

  C++ Automated Test Cases in Headers

• adep: catch2

  C++ Automated Test Cases in Headers

• adep: re2c

  lexer generator for C, C++, Go and Rust

• adep: bison

  YACC-compatible parser generator

• adep: liblua5.4-dev

  Development files for the Lua language version 5.4

Download gringo

ファイル	サイズ (単位: kB)	MD5 チェックサム
gringo_5.6.2-0ubuntu3.dsc	2.1 kB	7d9a0df0e5d827cef1675302661c56c9
gringo_5.6.2.orig.tar.gz	4,960.0 kB	1f3a4e4ae814f62fffbccb57f715d426
gringo_5.6.2-0ubuntu3.debian.tar.xz	21.3 kB	807b0eea4f513c895c62d784fd92685e

Debian パッケージソースリポジトリ (VCS: Git)

https://salsa.debian.org/science-team/gringo.git

Debian パッケージソースリポジトリ (ブラウザで表示可能)

https://salsa.debian.org/science-team/gringo