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

Source Package: gringo (5.4.1-3.1)

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.4.1-3.1.dsc 2.1 kB 6d1a4dc6648aef0403a13bff094b2e90
gringo_5.4.1.orig.tar.gz 2,756.7 kB 7a1e91d024cb1a8db2ed2cdc4b05e899
gringo_5.4.1-3.1.debian.tar.xz 21.1 kB 28fbdde6e24ae0e1e9b7e9d7d67af433
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