eLxr packages

 / Pakete / bianca (stable) / Quellcode / - / gringo

[  bianca  ]

Links für gringo

• Debian-Quellcode-Depot (Git)
• eLxr Patch-Überblick

Betreuer:

• Debian Science Maintainers
• Thomas Krennwallner

Externe Ressourcen:

• Homepage [www.potassco.org]

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: 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

Datei	Größe (in kB)	MD5-Prüfsumme
gringo_5.6.2-2.debian.tar.xz	23,9 kB	7da37d778902c25f26fa753c1e6b84d1
gringo_5.6.2-2.dsc	2,0 kB	a45c2206283c503e9d6db35c70f60f35
gringo_5.6.2.orig.tar.gz	4.960,0 kB	1f3a4e4ae814f62fffbccb57f715d426

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