» Ubuntu » Packages » trusty (14.04LTS) » Source » interpreters » gringo
trusty  ] [  xenial  ] [  zesty  ] [  artful  ] [  bionic  ]

Source Package: gringo (4.2.1-4) [universe]

Links for gringo

Ubuntu Resources:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

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

External Resources:

The following binary packages are built from this source package:
grounding tools for (disjunctive) logic programs

Other Packages Related to gringo

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 9)
    helper programs for debian/rules
  • adep: g++-4.8 (>= 4.8.0)
    GNU C++ compiler
  • adep: scons
    replacement for make
  • adep: re2c
    tool for generating fast C-based recognizers
  • adep: bison
    YACC-compatible parser generator
  • adep: libtbb-dev (>= 4.0+r233) [amd64 ia64 ppc64 ppc64el]
    parallelism library for C++ - development files
  • adep: liblua5.1-dev
    virtual package provided by liblua5.1-0-dev
  • adep: libpython2.7-dev
    Header files and a static library for Python (v2.7)

Download gringo

FileSize (in kB)MD5 checksum
gringo_4.2.1-4.dsc 2.0 kB 02aab3448d0cd5d43fa59a7d7603ed82
gringo_4.2.1.orig.tar.gz 601.3 kB 0ce73ba2a9e0ca206272274e3eb53d95
gringo_4.2.1-4.debian.tar.gz 8.7 kB 1ff27d0fe2b302a37aeae477c1ee6308
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)