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

Source Package: gringo (5.6.2-2) [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: pkg-kde-tools
    various packaging tools and scripts for KDE Applications
  • adep: cmake
    cross-platform, open-source make system
  • adep: catch
    C++ Automated Test Cases in Headers
  • adep: catch2
    C++ Automated Test Cases in Headers (transitional package)
  • adep: re2c
    lexer generator for C, C++, Go, Java, Python, Rust, and others
  • 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-2.dsc 2.0 kB a45c2206283c503e9d6db35c70f60f35
gringo_5.6.2.orig.tar.gz 4,960.0 kB 1f3a4e4ae814f62fffbccb57f715d426
gringo_5.6.2-2.debian.tar.xz 23.9 kB 7da37d778902c25f26fa753c1e6b84d1
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