coq-gappa - Debian Package Tracker

general

source: coq-gappa (main)
version: 1.5.3-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: 1.5.2-5
testing: 1.5.3-1
unstable: 1.5.3-1

versioned links

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

binaries

libcoq-gappa

action needed

Marked for autoremoval on 30 December due to coq: #1056062 high

Version 1.5.3-1 of coq-gappa is marked for autoremoval from testing on Sat 30 Dec 2023. It depends (transitively) on coq, affected by #1056062. You should try to prevent the removal by fixing these RC bugs.

Created: 2023-11-23 Last update: 2023-11-28 22:39

A new upstream version is available: 1.5.4 high

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

Created: 2023-11-24 Last update: 2023-11-28 21:11

debian/patches: 1 patch with invalid metadata high

Among the 1 debian patch available in version 1.5.3-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

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 1.5.4-1, 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 cbc9e5f2c10122bc169257147d6f5bcc73037440
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 09:08:12 2023 +0200

    Package new upstream 1.5.4

commit 4afaa8a00563ae7c0e7aadfa524290281e2df863
Merge: 5174a9f 172b533
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 09:07:55 2023 +0200

    Update upstream source from tag 'upstream/1.5.4'
    
    Update to upstream version '1.5.4'
    with Debian dir a153af07f2eacef8624eb2e2f69d81e354c310f1

commit 172b53384ab256ae4ef4a9eeb178c2a6389dcf89
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 09:07:55 2023 +0200

    New upstream version 1.5.4

commit 5174a9f4f62cbdcf648517bb5d5c8eac13405124
Author: Julien Puydt <jpuydt@debian.org>
Date:   Fri Aug 18 11:59:20 2023 +0200

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

Created: 2023-08-18 Last update: 2023-11-25 21:09

news

[rss feed]

[2023-06-24] coq-gappa 1.5.3-1 MIGRATED to testing (Debian testing watch)
[2023-06-13] Accepted coq-gappa 1.5.3-1 (source) into unstable (Julien Puydt)
[2023-01-31] coq-gappa 1.5.2-5 MIGRATED to testing (Debian testing watch)
[2023-01-26] Accepted coq-gappa 1.5.2-5 (source) into unstable (Julien Puydt)
[2022-09-17] coq-gappa 1.5.2-4 MIGRATED to testing (Debian testing watch)
[2022-09-06] Accepted coq-gappa 1.5.2-4 (source) into unstable (Julien Puydt)
[2022-08-10] coq-gappa 1.5.2-2 MIGRATED to testing (Debian testing watch)
[2022-07-20] Accepted coq-gappa 1.5.2-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: 1.5.3-1build3