architecture: amd64 component: main package: gringo priority: optional section: interpreters srcpkg_name: gringo srcpkg_version: 5.4.1-3.1 version: 5.4.1-3.1+b1