Skip to content
Sections
>> Trisquel >> Pakete >> aramo >> Quellcode >> interpreters >> gringo
etiona  ] [  nabia  ] [  aramo  ]

Quellcode-Paket: gringo (5.4.1-3ubuntu3)

Links für gringo

Trisquel-Ressourcen:

Betreuer:

Original Maintainers:

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
gringo
grounding tools for (disjunctive) logic programs

Andere Pakete mit Bezug zu gringo

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Paket nicht verfügbar
  • adep: dpkg-dev (>= 1.16.1~)
    Debian package development tools
  • adep: pkg-kde-tools
    various packaging tools and scripts for KDE Applications
  • adep: g++-10 (>= 10.2.1)
    GNU C++ compiler
  • 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
  • adep: python3 (>= 3.8.2)
    interactive high-level object-oriented language (default python3 version)
  • adep: libpython3-dev (>= 3.8.2)
    header files and a static library for Python (default)
  • adep: python3-distutils (>= 3.8.2)
    distutils package for Python 3.x

Download gringo

DateiGröße (in kB)MD5-Prüfsumme
gringo_5.4.1-3ubuntu3.dsc 2,2 kB 4fb078b97c717b0ec32b6d252b4ffd6b
gringo_5.4.1.orig.tar.gz 2.756,7 kB 7a1e91d024cb1a8db2ed2cdc4b05e899
gringo_5.4.1-3ubuntu3.debian.tar.xz 24,6 kB 323bb42a5453fdc0724026a0a7a5a527
Quellcode-Depot des Debian-Pakets (VCS: Git)
https://salsa.debian.org/science-team/gringo.git
Quellcode-Depot des Debian-Pakets (browsable)
https://salsa.debian.org/science-team/gringo