原始碼套件:gringo(5.3.0-10)
本原始碼套件構建了以下這些二進位制包:
- gringo
- grounding tools for (disjunctive) logic programs
其他與 gringo 有關的套件
|
|
-
- adep: debhelper (>= 11)
- helper programs for debian/rules
-
- adep: dpkg-dev (>= 1.16.1~)
- Debian package development tools
-
- adep: pkg-kde-tools
- various packaging tools and scripts for KDE Applications
-
- adep: g++-8 (>= 8.2.0-21)
- GNU C++ compiler
-
- 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