Package details
Package gringo
Version 4.5.4-r1
Description Grounder to translate user-provided logic programs
License LGPL3
Branch v3.7
Repository community
Architecture x86
Size 1.77 MB
Installed size 4.21 MB
Origin gringo
Maintainer Anil Madhavapeddy
Build time 2017-11-10 19:20:28
Commit 20474a268d6d1b12e4e37f0d904e55058ac75444
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (1)
Sub Packages (0)