Register | Log in

metamath-databases

Sample databases for Metamath

Choose email to subscribe with

general

source: metamath-databases (main)
version: 0.0.0~20210101.git55fe226-2
maintainer: Giovanni Mascellani (DMD)
arch: all
std-ver: 4.5.1
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

o-o-stable: 0.0.0~20210101.git55fe226-2
oldstable: 0.0.0~20210101.git55fe226-2
stable: 0.0.0~20210101.git55fe226-2
testing: 0.0.0~20210101.git55fe226-2
unstable: 0.0.0~20210101.git55fe226-2

versioned links

0.0.0~20210101.git55fe226-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

metamath-databases

action needed

version in VCS is newer than in repository, is it time to upload? normal

vcswatch reports that this package seems to have a new changelog entry (version 0.0.0~20210101.git55fe226-3, distribution UNRELEASED) and new commits in its VCS. You should consider whether it's time to make an upload.

Here are the relevant commit messages:

commit 1d974e1b57ee1761b18a40ddb3778063fb688420
Author: Giovanni Mascellani <gio@debian.org>
Date:   Sun Dec 7 12:10:19 2025 +0100

    Add debian/watch.

Created: 2025-12-07 Last update: 2025-12-13 21:02

Standards version of the package is outdated. wishlist

The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.2 instead of 4.5.1).

Created: 2021-08-18 Last update: 2025-02-27 13:25

news

[2021-01-11] metamath-databases 0.0.0~20210101.git55fe226-2 MIGRATED to testing (Debian testing watch)
[2021-01-06] Accepted metamath-databases 0.0.0~20210101.git55fe226-2 (source) into unstable (Giovanni Mascellani)
[2021-01-06] metamath-databases 0.0.0~20210101.git55fe226-1 MIGRATED to testing (Debian testing watch)
[2021-01-01] Accepted metamath-databases 0.0.0~20210101.git55fe226-1 (source) into unstable (Giovanni Mascellani)
[2020-08-04] Accepted metamath-databases 0.0.0~20200715.git5b44899-1 (source all) into unstable, unstable (Debian FTP Masters) (signed by: Giovanni Mascellani)

bugs [bug history graph]

all: 0

links

homepage
buildd: logs, reproducibility
popcon
browse source code
edit tags
other distros
screenshots

ubuntu

[Information about Ubuntu for Debian Developers]

version: 0.0.0~20210101.git55fe226-2build1

Debian Package Tracker — Copyright 2013-2025 The Distro Tracker Developers

Report problems to the tracker.debian.org pseudo-package in the Debian BTS.

Documentation — Bugs — Git Repository — Contributing