coq-bignums - Debian Package Tracker

general

source: coq-bignums (main)
version: 9.0.0+coq8.20-1
maintainer: Debian OCaml Maintainers (archive) (DMD)
uploaders: Julien Puydt [DMD]
arch: any
std-ver: 4.7.0
VCS: Git (Browse, QA)

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

[pool directory]

oldstable: 8.17.0-2
stable: 9.0.0+coq8.20-1
testing: 9.0.0+coq8.20-1
unstable: 9.0.0+coq8.20-1
exp: 9.0.0+rocq9.1-1

versioned links

8.17.0-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
9.0.0+coq8.20-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
9.0.0+rocq9.1-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

libcoq-bignums

action needed

lintian reports 10 errors and 14 warnings high

Lintian reports 10 errors and 14 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2025-02-14 Last update: 2025-06-17 23:32

1 new commit since last upload, is it time to release? normal

vcswatch reports that this package seems to have new commits in its VCS but has not yet updated debian/changelog. You should consider updating the Debian changelog and uploading this new version into the archive.

Here are the relevant commit logs:

commit 6896a4eb2cf73b5c9115c1449058ca9bd7f188ce
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Oct 29 09:08:28 2025 +0100

    Remove useless dbgsym package

Created: 2025-10-29 Last update: 2025-11-09 20:01

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.7.0).

Created: 2025-02-21 Last update: 2025-02-27 13:25

news

[rss feed]

[2025-10-29] Accepted coq-bignums 9.0.0+rocq9.1-1 (source amd64) into experimental (Julien Puydt)
[2024-09-05] coq-bignums 9.0.0+coq8.20-1 MIGRATED to testing (Debian testing watch)
[2024-08-17] coq-bignums REMOVED from testing (Debian testing watch)
[2024-06-27] coq-bignums 9.0.0+coq8.20-1 MIGRATED to testing (Debian testing watch)
[2024-06-25] Accepted coq-bignums 9.0.0+coq8.20-1 (source) into unstable (Julien Puydt)
[2024-06-24] coq-bignums 9.0.0+coq8.19-1 MIGRATED to testing (Debian testing watch)
[2024-04-27] Accepted coq-bignums 9.0.0+coq8.19-1 (source) into unstable (Julien Puydt)
[2024-01-23] coq-bignums 9.0.0+coq8.18-1 MIGRATED to testing (Debian testing watch)
[2023-12-22] Accepted coq-bignums 9.0.0+coq8.18-1 (source) into unstable (Julien Puydt)
[2023-06-24] coq-bignums 8.17.0-3 MIGRATED to testing (Debian testing watch)
[2023-06-12] Accepted coq-bignums 8.17.0-3 (source) into unstable (Julien Puydt)
[2023-01-31] coq-bignums 8.17.0-2 MIGRATED to testing (Debian testing watch)
[2023-01-25] Accepted coq-bignums 8.17.0-2 (source) into unstable (Julien Puydt)
[2022-12-30] coq-bignums 8.17.0-1 MIGRATED to testing (Debian testing watch)
[2022-12-27] Accepted coq-bignums 8.17.0-1 (source) into unstable (Julien Puydt)
[2022-09-17] coq-bignums 8.16.0-1 MIGRATED to testing (Debian testing watch)
[2022-09-06] Accepted coq-bignums 8.16.0-1 (source) into unstable (Julien Puydt)
[2022-07-10] coq-bignums 8.15.0-7 MIGRATED to testing (Debian testing watch)
[2022-06-29] coq-bignums REMOVED from testing (Debian testing watch)
[2022-06-15] Accepted coq-bignums 8.15.0-7 (source) into unstable (Julien Puydt)
[2022-06-14] Accepted coq-bignums 8.15.0-6 (source) into unstable (Julien Puydt)
[2022-06-12] Accepted coq-bignums 8.15.0-5 (source) into unstable (Julien Puydt)
[2022-06-01] Accepted coq-bignums 8.15.0-3 (source) into unstable (Julien Puydt)
[2022-05-22] Accepted coq-bignums 8.15.0-2 (source) into unstable (Julien Puydt)
[2022-05-15] coq-bignums 8.15.0-1 MIGRATED to testing (Debian testing watch)
[2022-05-12] Accepted coq-bignums 8.15.0-1 (source amd64) into unstable, unstable (Debian FTP Masters) (signed by: Julien Puydt)

bugs [bug history graph]

all: 0

links

homepage
lintian (10, 14)
buildd: logs, exp, reproducibility, cross
popcon
browse source code
edit tags
other distros
debci

ubuntu

[Information about Ubuntu for Debian Developers]

version: 9.0.0+coq8.20-1build9