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]
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.
The URL(s) for this package had some recent persistent
issues
low
DUCK
reports some
issues
concerning upstream URLs defined for this package.
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
[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}