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

Paquet source : gringo (5.6.2-0ubuntu3) [universe]

Liens pour gringo

Ressources Ubuntu :

Responsable :

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.

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
gringo
grounding tools for (disjunctive) logic programs

Autres paquets associés à gringo

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Paquet indisponible
  • 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

FichierTaille (en ko)Somme MD5
gringo_5.6.2-0ubuntu3.dsc 2,1 ko 7d9a0df0e5d827cef1675302661c56c9
gringo_5.6.2.orig.tar.gz 4 960,0 ko 1f3a4e4ae814f62fffbccb57f715d426
gringo_5.6.2-0ubuntu3.debian.tar.xz 21,3 ko 807b0eea4f513c895c62d784fd92685e
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/science-team/gringo.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/science-team/gringo