ssreflect
source package

general

source: ssreflect (source, math)
version: 1.4-2
maint: Debian OCaml Maintainers (a), Stéphane Glondu (u)
arch: any all
std-ver: 3.9.4
VCS: Git (browse)

versions

oldstable: 1.2+dfsg-6
stable: 1.3pl4-1
testing: 1.3pl4-1
unstable: 1.4-2

binaries

libssreflect-coq (1 bugs: 0, 1, 0, 0)
small scale reflection library for Coq (theories)
libssreflect-ocaml (0 bugs: 0, 0, 0, 0)
small scale reflection extension for Coq (plugin)
libssreflect-ocaml-dev (0 bugs: 0, 0, 0, 0)
small scale reflection extension for Coq (devt files)

todo

Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of it.
A new upstream version is available: 1.4-coq8.4, you should consider packaging it.
Someone wrote an updated debian/watch file you may want to include in the package.

problems

The package has not yet entered testing even though the 10-day delay is over. Check why.
There were override disparities found in suite unstable:
- libssreflect-ocaml-dev: Override says ocaml - extra, .deb says ocaml - optional
- libssreflect-coq: Override says math - extra, .deb says math - optional

testing migration

12 days old (needed 10 days)
Invalidated by dependency
Not considered
Depends: ssreflect camlp5
Depends: ssreflect coq (not considered)

news RSS

[2013-05-09] Accepted 1.4-2 in unstable (low) (Stéphane Glondu)
[2012-09-18] Accepted 1.4-1 in experimental (low) (Stéphane Glondu)
[2012-06-22] ssreflect 1.3pl4-1 MIGRATED to testing (Britney)
[2012-06-09] Accepted 1.3pl4-1 in unstable (low) (Stéphane Glondu)
[2012-04-09] ssreflect 1.3pl2-4 MIGRATED to testing (Britney)
[2012-04-01] Accepted 1.3pl2-4 in unstable (medium) (Stéphane Glondu)
[2012-03-17] ssreflect 1.3pl2-3 MIGRATED to testing (Britney)
[2012-03-06] Accepted 1.3pl2-3 in unstable (low) (Stéphane Glondu)
[2012-01-07] ssreflect 1.3pl2-2 MIGRATED to testing (Britney)
[2011-12-25] Accepted 1.3pl2-2 in unstable (low) (Stéphane Glondu)
[2011-12-02] ssreflect 1.3pl2-1 MIGRATED to testing (Britney)
[2011-11-22] Accepted 1.3pl2-1 in unstable (low) (Stéphane Glondu)
[2011-11-09] ssreflect 1.3pl1-5 MIGRATED to testing (Britney)
[2011-11-03] Accepted 1.3pl1-5 in unstable (low) (Stéphane Glondu)
[2011-04-30] ssreflect 1.3pl1-4 MIGRATED to testing (Britney)
[2011-04-24] Accepted 1.3pl1-4 in unstable (low) (Stéphane Glondu)
[2011-04-21] Accepted 1.3pl1-3 in unstable (low) (Stéphane Glondu)
[2011-04-21] Accepted 1.3pl1-2 in experimental (low) (Stéphane Glondu)
[2011-03-31] Accepted 1.3pl1-1 in experimental (low) (Stéphane Glondu)
[2011-03-15] ssreflect 1.2+dfsg-7 MIGRATED to testing (Britney)
[2011-03-15] Accepted 1.3-1 in experimental (low) (Stéphane Glondu)
[2011-02-22] Accepted 1.2+dfsg-7 in unstable (low) (Stéphane Glondu)
[2010-08-01] ssreflect 1.2+dfsg-6 MIGRATED to testing (Britney)
[2010-07-15] Accepted 1.2+dfsg-6 in unstable (low) (Stéphane Glondu)
[2010-07-14] Accepted 1.2+dfsg-5 in unstable (low) (Stéphane Glondu)
[2010-02-25] ssreflect 1.2+dfsg-4 MIGRATED to testing (Britney)
[2010-02-11] Accepted 1.2+dfsg-4 in unstable (low) (Stéphane Glondu)
[2010-01-06] ssreflect 1.2+dfsg-3 MIGRATED to testing (Britney)
[2009-12-20] Accepted 1.2+dfsg-3 in unstable (low) (Stéphane Glondu)
[2009-09-14] ssreflect 1.2+dfsg-2 MIGRATED to testing (Britney)

bugs

all: 1
RC: 0
I&N: 1
M&W: 0
F&P: 0

links

ubuntu

version: 1.3pl4-1

patch-tracker

oldstable: 1.2+dfsg-6
stable: 1.3pl4-1
testing: 1.3pl4-1
unstable: 1.4-2

Debian Package Tracking System - Copyright © 2002-2009 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
SVN revision 2988M | Checkout SVN repository | Browse SVN repository
Last modified: 2013-05-22T02:38:24+00:00.