» Ubuntu » Packages » noble (24.04LTS) » Source » interpreters » gringo
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Source Package: gringo (5.6.2-0ubuntu3) [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):

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:
gringo
grounding tools for (disjunctive) logic programs

Other Packages Related to gringo

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Package not available
  • adep: dpkg-dev (>= 1.16.1~)
    Debian package development tools
  • adep: pkg-kde-tools
    various packaging tools and scripts for KDE Applications
  • adep: cmake (>= 3.1.0)
    cross-platform, open-source make system
  • adep: catch
    C++ Automated Test Cases in Headers
  • adep: catch2
    C++ Automated Test Cases in Headers
  • adep: re2c
    lexer generator for C, C++, Go and Rust
  • adep: bison
    YACC-compatible parser generator
  • adep: liblua5.4-dev
    Development files for the Lua language version 5.4

Download gringo

FileSize (in kB)MD5 checksum
gringo_5.6.2-0ubuntu3.dsc 2.1 kB 7d9a0df0e5d827cef1675302661c56c9
gringo_5.6.2.orig.tar.gz 4,960.0 kB 1f3a4e4ae814f62fffbccb57f715d426
gringo_5.6.2-0ubuntu3.debian.tar.xz 21.3 kB 807b0eea4f513c895c62d784fd92685e
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/science-team/gringo.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/science-team/gringo