packagesSource Package: gringo (3.0.4-3) [universe]
Links for gringo
Ubuntu Resources:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers (Mail Archive)
- Thomas Krennwallner
It should generally not be necessary for users to contact the original maintainer.
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)
- helper programs for debian/rules
-
- adep: cmake
- cross-platform, open-source make system
-
- adep: re2c
- tool for generating fast C-based recognizers
-
- 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