Source package metamath-databases/0.0.0~20210101.git55fe226-2 in dawn @ pureos

metamath-databases - 0.0.0~20210101.git55fe226-2 main

Versions in dawn: 0.0.0~20210101.git55fe226-2
Maintainer: Giovanni Mascellani <gio [꩜] debian.org>

Format: 3.0 (quilt)
Standards Version: 4.5.1
Architectures: all

Homepage Build Jobs VCS Browser

Owned Binaries

metamath-databases all

Build Dependencies

debhelper-compat (= 13)
metamath

Files

Filename	Size	Checksum (SHA256)
metamath-databases_0.0.0~20210101.git55fe226-2.dsc	1.5 kB	`cd135617e6bc9251c7dfe28cb82d27a9ddfe3d60b57aadcbc9a49effcad13432`
metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz	12.9 MB	`2be8655e3ff170fb3097c50b9100c082dbe987257a6b9e81f0c757e5fe484a4b`
metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz	3.2 kB	`fdce0a2618e94350cfeb46c9d2358405651c4585d8e71d26515c726cc25e8623`