Source Package: gringo (3.0.4-3)
Links for gringo
Debian Resources:
- Bug Reports
- Developer Information (PTS)
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
External Resources:
- Homepage [potassco.sourceforge.net]
The following binary packages are built from this source package:
- gringo
- grounding tools for (disjunctive) logic programs
Other Packages Related to gringo
|
|
-
- adep: debhelper (>= 8.0.0)
- debian/rules のヘルパープログラム
-
- adep: cmake
- cross-platform, open-source make system
-
- adep: re2c
- 高速な C 言語ベースの認識エンジンを生成するためのツール
-
- adep: libboost-filesystem-dev
- filesystem operations (portable paths, iteration over directories, etc) in C++ (default version)
-
- adep: libboost-system-dev
- Operating system (e.g. diagnostics support) library (default version)
-
- adep: liblua5.1-dev
- virtual package provided by liblua5.1-0-dev
Download gringo
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| gringo_3.0.4-3.dsc | 2.0 kB | f5bacbf05ab7e530d32cd22cd7c4857d |
| gringo_3.0.4.orig.tar.gz | 526.9 kB | 3f2419d592a4dc5d1200cd94f3fac821 |
| gringo_3.0.4-3.debian.tar.gz | 8.9 kB | f3dd7f8eb3d5a225e756e3c364e22a1d |
- Debian Package Source Repository (VCS: Git)
- git://git.debian.org/git/debian-science/packages/gringo.git
- Debian Package Source Repository (Browsable)
- http://git.debian.org/?p=debian-science/packages/gringo.git