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

Paquet source : gringo (5.6.2-2) [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: 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

FichierTaille (en ko)Somme MD5
gringo_5.6.2-2.dsc 2,0 ko a45c2206283c503e9d6db35c70f60f35
gringo_5.6.2.orig.tar.gz 4 960,0 ko 1f3a4e4ae814f62fffbccb57f715d426
gringo_5.6.2-2.debian.tar.xz 23,9 ko 7da37d778902c25f26fa753c1e6b84d1
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