Publishing details
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
Changelog
metamath-databases (0.0.0~20210101.git55fe226-2) unstable; urgency=medium
* Fix Multi-Arch header in the wrong stanza.
-- Giovanni Mascellani <email address hidden> Wed, 06 Jan 2021 09:37:47 +0100
Builds
Built packages
-
metamath-databases
Sample databases for Metamath
Package files