Debian Package Tracker
Register | Log in
Subscribe

ssreflect

Mathematical Components library for Coq

Choose email to subscribe with

general
  • source: ssreflect (main)
  • version: 1.7.0+dfsg-1
  • maintainer: Debian OCaml Maintainers (archive) [DMD]
  • uploaders: Ralf Treinen [DMD] – Enrico Tassi [DMD] – Stéphane Glondu [DMD]
  • arch: all
  • std-ver: 4.3.0
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 1.3pl4-1
  • oldstable: 1.5-2
  • stable: 1.6.1-2
  • unstable: 1.7.0+dfsg-1
versioned links
  • 1.3pl4-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 1.5-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 1.6.1-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 1.7.0+dfsg-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • libssreflect-coq
action needed
lintian reports 2 errors and 24 warnings high
Lintian reports 2 errors and 24 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2015-02-28 Last update: 2018-09-11 08:12
The URL(s) for this package had some recent persistent issues low
DUCK reports some issues concerning upstream URLs defined for this package.
Created: 2019-01-12 Last update: 2019-02-23 06:02
testing migrations
  • excuses:
    • Migrates after: coq
    • Too young, only 6 of 10 days old
    • Piuparts tested OK - https://piuparts.debian.org/sid/source/s/ssreflect.html
    • Required age reduced by 0 days because of autopkgtest
    • Checking build-dependency on amd64
    • Not touching package due to block request by freeze (please contact debian-release if update is needed)
    • Not considered
news
[rss feed]
  • [2019-02-22] ssreflect REMOVED from testing (Debian testing watch)
  • [2019-02-16] Accepted ssreflect 1.7.0+dfsg-1 (source) into unstable (Ralf Treinen)
  • [2018-01-03] ssreflect 1.6.1-3 MIGRATED to testing (Debian testing watch)
  • [2017-10-09] Accepted ssreflect 1.6.1-3 (source all amd64) into unstable (Stéphane Glondu)
  • [2017-01-14] ssreflect 1.6.1-2 MIGRATED to testing (Debian testing watch)
  • [2016-12-30] Accepted ssreflect 1.6.1-2 (source all amd64) into unstable (Enrico Tassi)
  • [2016-12-30] Accepted ssreflect 1.6.1-1 (source all amd64) into unstable (Enrico Tassi)
  • [2016-10-06] ssreflect 1.6-1 MIGRATED to testing (Debian testing watch)
  • [2016-09-30] Accepted ssreflect 1.6-1 (source all amd64) into unstable (Enrico Tassi)
  • [2016-03-19] ssreflect REMOVED from testing (Debian testing watch)
  • [2015-11-01] ssreflect 1.5-3 MIGRATED to testing (Britney)
  • [2015-10-14] Accepted ssreflect 1.5-3 (source all amd64) into unstable (Stéphane Glondu)
  • [2014-08-11] ssreflect 1.5-2 MIGRATED to testing (Britney)
  • [2014-07-30] Accepted ssreflect 1.5-2 (source amd64 all) into unstable (Stéphane Glondu)
  • [2014-03-19] ssreflect 1.5-1 MIGRATED to testing (Debian testing watch)
  • [2014-03-13] Accepted ssreflect 1.5-1 (source amd64 all) (Stéphane Glondu)
  • [2014-01-26] ssreflect 1.5~rc1-3 MIGRATED to testing (Debian testing watch)
  • [2014-01-20] Accepted ssreflect 1.5~rc1-3 (source amd64 all) (Stéphane Glondu)
  • [2013-12-12] ssreflect 1.5~rc1-2 MIGRATED to testing (Debian testing watch)
  • [2013-12-06] Accepted ssreflect 1.5~rc1-2 (source amd64 all) (Stéphane Glondu)
  • [2013-08-10] Accepted ssreflect 1.5~rc1-1 (source amd64 all) (Stéphane Glondu)
  • [2013-05-25] ssreflect 1.4-2 MIGRATED to testing (Debian testing watch)
  • [2013-05-09] Accepted ssreflect 1.4-2 (source amd64 all) (Stéphane Glondu)
  • [2012-09-18] Accepted ssreflect 1.4-1 (source amd64 all) (Stéphane Glondu)
  • [2012-06-22] ssreflect 1.3pl4-1 MIGRATED to testing (Debian testing watch)
  • [2012-06-09] Accepted ssreflect 1.3pl4-1 (source all amd64) (Stéphane Glondu)
  • [2012-04-09] ssreflect 1.3pl2-4 MIGRATED to testing (Debian testing watch)
  • [2012-04-01] Accepted ssreflect 1.3pl2-4 (source all amd64) (Stéphane Glondu)
  • [2012-03-17] ssreflect 1.3pl2-3 MIGRATED to testing (Debian testing watch)
  • [2012-03-06] Accepted ssreflect 1.3pl2-3 (source all amd64) (Stéphane Glondu)
  • 1
  • 2
bugs [bug history graph]
  • all: 1
  • RC: 0
  • I&N: 0
  • M&W: 1
  • F&P: 0
  • patch: 0
links
  • homepage
  • lintian (2, 24)
  • buildd: logs, clang
  • popcon
  • debci
  • browse source code
  • edit tags
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 1.6.1-3build1

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