metamath - Debian Package Tracker

general

source: metamath (main)
version: 0.195-1
maintainer: Giovanni Mascellani (DMD)
arch: any
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]

oldstable: 0.195-1
stable: 0.195-1
testing: 0.195-1
unstable: 0.195-1

versioned links

0.195-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

metamath

action needed

A new upstream version is available: 0.198 high

A new upstream version 0.198 is available, you should consider packaging it.

Created: 2021-01-05 Last update: 2025-04-26 02:31

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.195-2, 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 edf94cb95664fe3c57a59a2bef4ac3deed6896e7
Merge: 04e9161 bdf0a2d
Author: Jelmer Vernooĳ <jelmer@debian.org>
Date:   Sat Nov 19 14:57:51 2022 +0000

    Merge branch 'lintian-fixes' into 'master'
    
    Fix some issues reported by lintian
    
    See merge request debian/metamath!1

commit bdf0a2d0a3592e4d911df298a9d043f4736cbde0
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Mon Nov 14 05:50:57 2022 +0000

    Update standards version to 4.6.1, no changes needed.
    
    Changes-By: lintian-brush
    Fixes: lintian: out-of-date-standards-version
    See-also: https://lintian.debian.org/tags/out-of-date-standards-version.html

commit 674fdd4eff82e3fc7a586016c9c722f5c639ba8f
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Mon Nov 14 05:50:50 2022 +0000

    Use secure URI in Homepage field.
    
    Changes-By: lintian-brush
    Fixes: lintian: homepage-field-uses-insecure-uri
    See-also: https://lintian.debian.org/tags/homepage-field-uses-insecure-uri.html

Created: 2022-11-19 Last update: 2025-04-25 00:03

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

[rss feed]

[2021-01-06] metamath 0.195-1 MIGRATED to testing (Debian testing watch)
[2021-01-01] Accepted metamath 0.195-1 (source) into unstable (Giovanni Mascellani)
[2020-07-18] metamath 0.183-1 MIGRATED to testing (Debian testing watch)
[2020-07-12] Accepted metamath 0.183-1 (source) into unstable (Giovanni Mascellani)
[2020-05-07] metamath 0.180-1 MIGRATED to testing (Debian testing watch)
[2020-01-02] Accepted metamath 0.180-1 (source amd64) into unstable, unstable (Giovanni Mascellani)

bugs [bug history graph]

all: 0

links

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

ubuntu

[Information about Ubuntu for Debian Developers]

version: 0.195-1