Debian Package Tracker
Register | Log in
Subscribe

mathcomp-analysis

Choose email to subscribe with

general
  • source: mathcomp-analysis (main)
  • version: 1.17.0-1
  • maintainer: Debian OCaml Maintainers (archive) (DMD)
  • uploaders: Julien Puydt (DMD)
  • arch: any
  • std-ver: 4.7.4
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • oldstable: 0.6.0-2
  • stable: 1.9.0-1
  • testing: 1.17.0-1
  • unstable: 1.17.0-1
versioned links
  • 0.6.0-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 1.9.0-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 1.17.0-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • libcoq-mathcomp-analysis
  • libcoq-mathcomp-classical
action needed
Debci reports failed tests high
  • unstable: fail (log)
    The tests ran in 0:00:21
    Last run: 2026-07-10T18:18:18.000Z
    Previous status: unknown

  • testing: pass (log)
    The tests ran in 0:01:07
    Last run: 2026-11-09T13:01:44.000Z
    Previous status: unknown

  • stable: pass (log)
    The tests ran in 0:00:51
    Last run: 2026-07-17T18:44:20.000Z
    Previous status: unknown

Created: 2026-04-06 Last update: 2026-11-13 17:03
Marked for autoremoval on 15 December due to golang-github-google-go-pkcs11, golang-gopkg-square-go-jose.v2: #1152786, #1153090 high
Version 1.17.0-1 of mathcomp-analysis is marked for autoremoval from testing on Tue 15 Dec 2026. It depends (transitively) on golang-github-google-go-pkcs11, golang-gopkg-square-go-jose.v2, affected by #1152786, #1153090. You should try to prevent the removal by fixing these RC bugs.
Created: 2026-11-06 Last update: 2026-11-13 17:02
A new upstream version is available: 1.19.0 high
A new upstream version 1.19.0 is available, you should consider packaging it.
Created: 2026-10-21 Last update: 2026-11-13 14:30
news
[rss feed]
  • [2026-11-03] mathcomp-analysis 1.17.0-1 MIGRATED to testing (Debian testing watch)
  • [2026-08-12] Accepted mathcomp-analysis 1.17.0-1 (source) into unstable (Julien Puydt)
  • [2026-07-29] Accepted mathcomp-analysis 1.16.0-2 (source amd64) into unstable (Julien Puydt)
  • [2026-07-20] Accepted mathcomp-analysis 1.16.0-1 (source amd64) into experimental (Julien Puydt)
  • [2026-05-01] mathcomp-analysis REMOVED from testing (Debian testing watch)
  • [2025-11-11] Accepted mathcomp-analysis 1.14.0-1 (source amd64) into experimental (Julien Puydt)
  • [2025-02-26] mathcomp-analysis 1.9.0-1 MIGRATED to testing (Debian testing watch)
  • [2025-02-20] Accepted mathcomp-analysis 1.9.0-1 (source) into unstable (Julien Puydt)
  • [2024-12-28] mathcomp-analysis 1.8.0-1 MIGRATED to testing (Debian testing watch)
  • [2024-12-26] Accepted mathcomp-analysis 1.8.0-1 (source) into unstable (Julien Puydt)
  • [2024-11-29] mathcomp-analysis 1.7.0-1 MIGRATED to testing (Debian testing watch)
  • [2024-11-25] Accepted mathcomp-analysis 1.7.0-1 (source) into unstable (Julien Puydt)
  • [2024-11-23] Accepted mathcomp-analysis 1.6.0-2 (source) into unstable (Julien Puydt)
  • [2024-11-20] Accepted mathcomp-analysis 1.6.0-1 (source) into unstable (Julien Puydt)
  • [2024-09-06] mathcomp-analysis 1.2.0-2 MIGRATED to testing (Debian testing watch)
  • [2024-08-17] mathcomp-analysis REMOVED from testing (Debian testing watch)
  • [2024-08-03] Accepted mathcomp-analysis 1.2.0-2 (source) into unstable (Stéphane Glondu)
  • [2024-06-24] mathcomp-analysis 1.2.0-1 MIGRATED to testing (Debian testing watch)
  • [2024-06-11] Accepted mathcomp-analysis 1.2.0-1 (source) into unstable (Julien Puydt)
  • [2024-05-01] Accepted mathcomp-analysis 1.1.0-2 (source) into unstable (Julien Puydt)
  • [2024-02-01] mathcomp-analysis 1.0.0-1 MIGRATED to testing (Debian testing watch)
  • [2024-01-29] Accepted mathcomp-analysis 1.0.0-1 (source) into unstable (Gianfranco Costamagna)
  • [2024-01-22] mathcomp-analysis REMOVED from testing (Debian testing watch)
  • [2023-08-25] mathcomp-analysis 0.6.4-3 MIGRATED to testing (Debian testing watch)
  • [2023-08-23] Accepted mathcomp-analysis 0.6.4-3 (source) into unstable (Julien Puydt)
  • [2023-08-19] Accepted mathcomp-analysis 0.6.4-2 (source) into unstable (Julien Puydt)
  • [2023-08-17] Accepted mathcomp-analysis 0.6.4-1 (source amd64) into unstable (Debian FTP Masters) (signed by: Julien Puydt)
  • [2023-07-21] mathcomp-analysis 0.6.3-2 MIGRATED to testing (Debian testing watch)
  • [2023-07-05] Accepted mathcomp-analysis 0.6.3-2 (source) into unstable (Julien Puydt)
  • [2023-06-24] mathcomp-analysis 0.6.3-1 MIGRATED to testing (Debian testing watch)
  • 1
  • 2
bugs [bug history graph]
  • all: 0
links
  • homepage
  • lintian
  • buildd: logs, reproducibility, cross
  • popcon
  • browse source code
  • other distros
  • debci
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 1.17.0-1build1

Debian Package Tracker — Copyright 2013-2025 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing