skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Packages / sid (unstable) / Source / interpreters / gringo

[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Links for gringo

Debian Resources:

• Bug Reports
• Developer Information
• Debian Changelog
• Copyright File
• Debian Source Repository (Git)
• Debian Patch Tracker

Maintainers:

• Debian Science Maintainers (QA Page, Mail Archive)
• Thomas Krennwallner (QA Page)

External Resources:

• Homepage [www.potassco.org]

The following binary packages are built from this source package:

gringo

strumenti di grounding per programmi di logica (disgiuntiva)

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

  sistema «make» open source e multipiattaforma

• adep: catch

  casi di test automatizzati in header C++

• adep: catch2

  casi di test automatizzati in header C++ (pacchetto di transizione)

• adep: re2c

  generatore di lexer per C, C++, Go, Java, Python, Rust e altri

• adep: bison

  generatore di parser compatibile con YACC

• adep: liblua5.4-dev

  file di sviluppo per il linguaggio Lua versione 5.4

Download gringo

File	Size (in kB)	MD5 checksum
gringo_5.6.2-2.dsc	2.0 kB	a45c2206283c503e9d6db35c70f60f35
gringo_5.6.2.orig.tar.gz	4,960.0 kB	1f3a4e4ae814f62fffbccb57f715d426
gringo_5.6.2-2.debian.tar.xz	23.9 kB	7da37d778902c25f26fa753c1e6b84d1

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