metamath - 0.195-1 main

Versions in landing: 0.195-1
Maintainer: Giovanni Mascellani <gio [꩜] debian.org>

Format: 3.0 (quilt)
Standards Version: 4.5.1
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

  • debhelper-compat (= 13)

Files

Filename Size Checksum (SHA256)
metamath_0.195-1.dsc 1.2 kB 2e513020f3656d6fdee10dde7d7c05d781a9badcd8aad8b88cebdd28e3e35063
metamath_0.195.orig.tar.gz 466.9 kB 382f913637c7a0e2ce3be34b889df9d4f251fb035a33d0444611722702742396
metamath_0.195-1.debian.tar.xz 1.9 kB 810c198dd9a73449b80752cf1e32554f4884967ce0076224dc642ca76beb36f5