coq-math-classes - Debian Package Tracker

general

source: coq-math-classes (main)
version: 8.17.0-1
maintainer: Debian OCaml Maintainers (archive) (DMD)
uploaders: Julien Puydt [DMD]
arch: any
std-ver: 4.6.2
VCS: Git (Browse, QA)

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

[pool directory]

stable: 8.15.0-4
testing: 8.17.0-1
unstable: 8.17.0-1

versioned links

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

binaries

libcoq-math-classes

action needed

debian/patches: 1 patch with invalid metadata high

Among the 1 debian patch available in version 8.17.0-1 of the package, we noticed the following issues:

1 patch with invalid metadata that ought to be fixed.

Created: 2023-02-26 Last update: 2023-06-13 12:41

Fails to build during reproducibility testing normal

A package building reproducibly enables third parties to verify that the source matches the distributed binaries. It has been identified that this source package produced different results, failed to build or had other issues in a test environment. Please read about how to improve the situation!

Created: 2023-06-26 Last update: 2023-09-30 01:39

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 8.17.0-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 53fe55045f615b227035609e93ce957589bc43bf
Author: Julien Puydt <jpuydt@debian.org>
Date:   Fri Aug 18 14:03:58 2023 +0200

    Fix d/rules clean target (Closes: #1044914)

commit 4cf8890bdef8e9616431174fec81f64dc8d2dfd6
Merge: d79ed1c dcf35de
Author: Stephane Glondu <Stéphane Glondu glondu@debian.org>
Date:   Tue Aug 15 15:08:47 2023 +0200

    Merge branch 'coq-math-classes-lintian-fixes'

commit dcf35dee0f079d73b413347c97a49db961d02c80
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Sat Apr 1 04:54:44 2023 +0000

    Set upstream metadata fields: Repository.
    
    Changes-By: lintian-brush
    Fixes: lintian: upstream-metadata-missing-repository
    See-also: https://lintian.debian.org/tags/upstream-metadata-missing-repository.html

commit 754a06f8bba5aacfffb2a9e56f4ef473c9852c1c
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu Jan 26 13:19:35 2023 +0000

    Update standards version to 4.6.2, 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 a2a5eb75d57fec78e8b7bd772e8679fe5b28019f
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu Jan 26 13:19:33 2023 +0000

    Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
    
    Changes-By: lintian-brush
    Fixes: lintian: upstream-metadata-file-is-missing
    See-also: https://lintian.debian.org/tags/upstream-metadata-file-is-missing.html
    Fixes: lintian: upstream-metadata-missing-bug-tracking
    See-also: https://lintian.debian.org/tags/upstream-metadata-missing-bug-tracking.html

commit c28f6462fa31d11f3310d7dd6581e2d63f6f1e5b
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu Jan 26 13:19:23 2023 +0000

    debian/copyright: use spaces rather than tabs to start continuation lines.
    
    Changes-By: lintian-brush
    Fixes: lintian: tab-in-license-text
    See-also: https://lintian.debian.org/tags/tab-in-license-text.html

Created: 2023-08-17 Last update: 2023-09-29 02:30

news

[rss feed]

[2023-06-24] coq-math-classes 8.17.0-1 MIGRATED to testing (Debian testing watch)
[2023-06-13] Accepted coq-math-classes 8.17.0-1 (source) into unstable (Julien Puydt)
[2023-01-31] coq-math-classes 8.15.0-4 MIGRATED to testing (Debian testing watch)
[2023-01-26] Accepted coq-math-classes 8.15.0-4 (source) into unstable (Julien Puydt)
[2022-07-18] coq-math-classes 8.15.0-3 MIGRATED to testing (Debian testing watch)
[2022-07-16] Accepted coq-math-classes 8.15.0-3 (source) into unstable (Julien Puydt)
[2022-07-11] coq-math-classes 8.15.0-2 MIGRATED to testing (Debian testing watch)
[2022-07-08] Accepted coq-math-classes 8.15.0-2 (source amd64) into unstable, unstable (Debian FTP Masters) (signed by: Julien Puydt)

bugs [bug history graph]

all: 1
RC: 0
I&N: 0
M&W: 1
F&P: 0
patch: 0

links

homepage
lintian
buildd: logs, checks, reproducibility, cross
popcon
browse source code
edit tags
other distros
debian patches
debci

ubuntu

[Information about Ubuntu for Debian Developers]

version: 8.17.0-1build1