Ubuntu
metamath package

metamath 0.180-1 source package in Ubuntu

Changelog

metamath (0.180-1) unstable; urgency=medium

  * Initial release (closes: #947404).

 -- Giovanni Mascellani <email address hidden>  Sat, 28 Dec 2019 08:09:58 +0100

Upload details

Uploaded by:
Giovanni Mascellani
Uploaded to:
Sid
Original maintainer:
Giovanni Mascellani
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release universe misc

Downloads

File Size SHA-256 Checksum
metamath_0.180-1.dsc 1.2 KiB fa10e05ceb74962d1bc79c8f8f28af6b3871207bb34f656f0a6db1bbfb378e1f
metamath_0.180.orig.tar.gz 434.4 KiB 88f115f9236c38d5c90f2f0856485eeb020c1600381277613bfc486cf851d660
metamath_0.180-1.debian.tar.xz 2.0 KiB d61e871650b24b6355f92b5dd33e9b1a513b8e7da3833799646ecdd43784044a

No changes file available.

Binary packages built by this source

metamath: No summary available for metamath in ubuntu groovy.

No description available for metamath in ubuntu groovy.

metamath-dbgsym: No summary available for metamath-dbgsym in ubuntu groovy.

No description available for metamath-dbgsym in ubuntu groovy.