gringo - 5.3.0-10 main

Versions in amber: 5.3.0-10
Maintainer: Debian Science Maintainers <debian-science-maintainers [꩜] lists.alioth.debian.org>
Uploaders:
  • Thomas Krennwallner <tkren [꩜] kr.tuwien.ac.at>
Format: 3.0 (quilt)
Standards Version: 4.3.0
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
gringo_5.3.0-10.dsc 2.1 kB 2bb811f4467269a1300eb8d1562674f6a50be133b252be34cc3e7dcb00226007
gringo_5.3.0.orig.tar.gz 2.7 MB b0d406d2809352caef7fccf69e8864d55e81ee84f4888b0744894977f703f976
gringo_5.3.0-10.debian.tar.xz 18.5 kB d99a193b28294456bcc8b0ed4c7a89af491d4222a7eb7d939d9a4ed4161e4cf4