Go
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]
oldstable:
1.5-2
stable:
1.6.1-2
unstable:
1.
7.
0+
dfsg-
1
versioned links
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
A new upstream version is available:
1.8.0
high
A new upstream version
1.8.0
is available, you should consider packaging it.
The package has not entered testing even though the delay is over
normal
The package has not entered
testing
even though the 2-day delay is over.
Check why
.
lintian reports
14 warnings
normal
Lintian
reports
14 warnings
about this package. You should make the package
lintian clean
getting rid of them.
testing migrations
excuses
:
67 days old (2 needed)
Piuparts tested OK -
https://piuparts.debian.org/sid/source/s/ssreflect.html
Required age reduced by 3 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:
2
RC:
0
I&N:
0
M&W:
2
F&P:
0
patch:
0
links
homepage
lintian
(
0
,
14
)
buildd:
logs
,
clang
popcon
debci
browse source code
edit tags
ubuntu
[Information about Ubuntu for Debian Developers]
version:
1.6.1-3build1
![[bug history graph]](https://qa.debian.org/data/bts/graphs/s/ssreflect.png){kind=link}