Package details
Package gringo
Version 4.5.4-r1
Description Grounder to translate user-provided logic programs
License LGPL-3.0
Branch v3.12
Repository community
Architecture armv7
Size 1.48 MB
Installed size 2.65 MB
Origin gringo
Maintainer Anil Madhavapeddy
Build time 2020-05-05 05:18:52
Commit 91d09eea75c1443c1d776f4d22193cbde18da491
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (1)
Sub Packages (0)