coq-corn - Debian Package Tracker

general

source: coq-corn (main)
version: 8.16.0-3
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.16.0-2
testing: 8.16.0-3
unstable: 8.16.0-3

versioned links

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

binaries

libcoq-corn

action needed

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

Version 8.16.0-3 of coq-corn 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-12-10 12:04

A new upstream version is available: 8.18.0 high

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

Created: 2023-10-20 Last update: 2023-12-10 09: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 8.18.0-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 67cd983049207879caf2002d808c15999a719a1c
Author: Julien Puydt <jpuydt@debian.org>
Date:   Tue Oct 17 09:32:46 2023 +0200

    Package new upstream 8.18.0

commit 5d903a025367cb5ef0b26c00cba0ff16e8766ca4
Merge: 0a61683 bbf6232
Author: Julien Puydt <jpuydt@debian.org>
Date:   Tue Oct 17 09:31:51 2023 +0200

    Update upstream source from tag 'upstream/8.18.0'
    
    Update to upstream version '8.18.0'
    with Debian dir 99e99beacbed13274f44ef40c2368606f9c89779

commit bbf6232387c19ffa70c747001ffb68558db684f1
Author: Julien Puydt <jpuydt@debian.org>
Date:   Tue Oct 17 09:31:46 2023 +0200

    New upstream version 8.18.0

commit 0a61683db3a6b2936120fe86368a7d04c02ad664
Author: Julien Puydt <jpuydt@debian.org>
Date:   Fri Aug 18 17:52:23 2023 +0200

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

commit 6e04aa52bf21789433b48ab7e887fcae8c428cf1
Merge: 3200f63 d12e869
Author: Stéphane Glondu <glondu@debian.org>
Date:   Wed Aug 16 07:19:55 2023 +0000

    Merge branch 'lintian-fixes' into 'master'
    
    Fix some issues reported by lintian
    
    See merge request ocaml-team/coq-corn!2

commit 3200f63eab17ef813c12ca02406866c02b6a6107
Merge: 7e42f05 d12e869
Author: Stephane Glondu <Stéphane Glondu glondu@debian.org>
Date:   Tue Aug 15 15:18:18 2023 +0200

    Merge branch 'coq-corn-lintian-fixes'

commit d12e869bc54b5c1ffa512137148c0d52b0d9cec3
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Fri Jan 27 06:25:09 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 4c4c13bc42a5dbf6b32520a25a1799cc9ef15783
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Fri Jan 27 06:25:08 2023 +0000

    Set upstream metadata fields: 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

commit 5eaa15376b032b771249eb5a7071298a41cb4800
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Fri Jan 27 06:25:04 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-12-03 03:40

news

[rss feed]

[2023-06-24] coq-corn 8.16.0-3 MIGRATED to testing (Debian testing watch)
[2023-06-13] Accepted coq-corn 8.16.0-3 (source) into unstable (Julien Puydt)
[2023-01-31] coq-corn 8.16.0-2 MIGRATED to testing (Debian testing watch)
[2023-01-27] Accepted coq-corn 8.16.0-2 (source) into unstable (Julien Puydt)
[2022-09-17] coq-corn 8.16.0-1 MIGRATED to testing (Debian testing watch)
[2022-09-06] Accepted coq-corn 8.16.0-1 (source) into unstable (Julien Puydt)
[2022-07-28] coq-corn 8.13.0-1 MIGRATED to testing (Debian testing watch)
[2022-07-18] Accepted coq-corn 8.13.0-1 (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
debci

ubuntu

[Information about Ubuntu for Debian Developers]

version: 8.16.0-3build3