all options
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]

Source Package: gringo (5.3.0-10)

Links for gringo

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
gringo
grounding tools for (disjunctive) logic programs

Other Packages Related to gringo

  • build-depends
  • build-depends-indep

Download gringo

FileSize (in kB)MD5 checksum
gringo_5.3.0-10.dsc 2.1 kB 9064c2f406b0514936ce07610b8b1a42
gringo_5.3.0.orig.tar.gz 2,621.9 kB 05678e1c194a1ad776174d311d900738
gringo_5.3.0-10.debian.tar.xz 18.1 kB 736088a475de0c6b78216d02a166491c
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