[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

源码包：gringo（5.3.0-10）

gringo 的相关链接

Debian 的资源：

维护小组：

外部的资源：

主页 [www.potassco.org]

本源码包构建了以下这些二进制包：

gringo: grounding tools for (disjunctive) logic programs

其他与 gringo 有关的软件包

构建架构特定包依赖

构建架构独立包依赖

adep: debhelper (>= 11)

用于 debian/rules 的帮助程序
adep: dpkg-dev (>= 1.16.1~)

Debian 软件包开发工具
adep: pkg-kde-tools

various packaging tools and scripts for KDE Applications
adep: g++-8 (>= 8.2.0-21)

GNU C++ 编译器
adep: cmake (>= 3.1.0)

cross-platform, open-source make system
adep: re2c

tool for generating fast C-based recognizers
adep: bison

YACC-compatible parser generator
adep: liblua5.3-dev

Development files for the Lua language version 5.3
adep: python3.7

Interactive high-level object-oriented language (version 3.7)
adep: libpython3.7-dev

Header files and a static library for Python (v3.7)
adep: python3.7-distutils

本虚包由这些包填实： python3-distutils

Download gringo

文件	大小（单位：kB）	MD5 校验码
gringo_5.3.0-10.dsc	2.1 kB	9064c2f406b0514936ce07610b8b1a42
gringo_5.3.0.orig.tar.gz	2,621.9 kB	05678e1c194a1ad776174d311d900738
gringo_5.3.0-10.debian.tar.xz	18.1 kB	736088a475de0c6b78216d02a166491c

Debian 软件包源码仓库（VCS：Git）: https://salsa.debian.org/science-team/gringo.git
Debian 软件包源码仓库（可在线浏览）: https://salsa.debian.org/science-team/gringo