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

Source Package: gringo (5.8.0-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):

  • Debian Science Maintainers (Mail Archive)
  • Thomas Krennwallner
  • Ralf Treinen

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

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.8.0-2.dsc 2.0 kB aef3e8bd40ec7faa522b692eaae84461
gringo_5.8.0.orig.tar.gz 4,391.3 kB 4e477b392bab01cd1ffb3bd63aa9779d
gringo_5.8.0-2.debian.tar.xz 24.8 kB dc32941725cf7a97ca4358787840ce2c
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