metamath - 0.183-1 main

Versions in landing: 0.183-1
 
Maintainer: Giovanni Mascellani <gio@debian.org>

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

Build Dependencies