kissat - 4.0.2-1 main

Versions in landing: 4.0.2-1
Maintainer: Debian Science Maintainers <debian-science-maintainers [꩜] alioth-lists.debian.net>
Uploaders:
  • Shengqi Chen <harry [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.7.0
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
kissat_4.0.2-1.dsc 2.0 kB e5b56c6c8e4de0a4540ad78956313f290740b353d3c235653dd13fe09674047b
kissat_4.0.2.orig.tar.gz 531.9 kB a8e58a70ebac09ccc0ba1465a69cfb9b31e562167d42df7535270d2733c386d7
kissat_4.0.2-1.debian.tar.xz 4.5 kB cde8b56254707714d03413f6dcd5b4f64afaf519287a5db5b9b55571800c66ec