Debian Package Tracker
Register | Log in
Subscribe

metamath

Language for mathematical proofs

Choose email to subscribe with

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]
  • 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: 2023-03-31 04:33
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 Vernooij <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: 2023-03-29 13:35
Standards version of the package is outdated. wishlist
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.2 instead of 4.5.1).
Created: 2021-08-18 Last update: 2022-12-17 19:18
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 Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 0.195-1

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing