coq-quickchick - Debian Package Tracker

general

source: coq-quickchick (main)
version: 1.6.4-2
maintainer: Debian OCaml Maintainers (archive) (DMD)
uploaders: Julien Puydt [DMD]
arch: any
std-ver: 4.6.1
VCS: Git (Browse, QA)

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

[pool directory]

testing: 1.6.4-2
unstable: 1.6.4-2

versioned links

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

binaries

libcoq-quickchick
quickchick

action needed

Failed to analyze the VCS repository. Please troubleshoot and fix the issue. high

vcswatch reports that there is an error with this package's VCS, or the debian/changelog file inside it. Please check the error shown below and try to fix it. You might have to update the VCS URL in the debian/control file to point to the correct repository.

fatal: could not read Username for 'https://salsa.debian.org': No such device or address

Created: 2022-07-18 Last update: 2022-12-07 05:00

lintian reports 2 errors and 3 warnings high

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

Created: 2022-09-30 Last update: 2022-09-30 19:06

Does not build reproducibly during 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: 2022-07-28 Last update: 2022-12-08 16:14

Depends on packages which need a new maintainer normal

The packages that coq-quickchick depends on which need a new maintainer are:

cppo (#933912)
- Build-Depends: cppo

Created: 2022-07-19 Last update: 2022-12-08 16:13

news

[rss feed]

[2022-09-17] coq-quickchick 1.6.4-2 MIGRATED to testing (Debian testing watch)
[2022-09-06] Accepted coq-quickchick 1.6.4-2 (source) into unstable (Julien Puydt)
[2022-08-18] coq-quickchick 1.6.4-1 MIGRATED to testing (Debian testing watch)
[2022-08-15] Accepted coq-quickchick 1.6.4-1 (source) into unstable (Julien Puydt)
[2022-08-14] Accepted coq-quickchick 1.6.3-2 (source) into unstable (Julien Puydt)
[2022-07-28] coq-quickchick 1.6.3-1 MIGRATED to testing (Debian testing watch)
[2022-07-18] Accepted coq-quickchick 1.6.3-1 (source amd64) into unstable, unstable (Debian FTP Masters) (signed by: Julien Puydt)

bugs [bug history graph]

all: 0

links

homepage
lintian (2, 3)
buildd: logs, checks, reproducibility, cross
popcon
browse source code
edit tags
other distros
debci

ubuntu

[Information about Ubuntu for Debian Developers]

version: 1.6.4-2build2