why
source package
general
source
why
(
source
,
math
)
version
2.30+dfsg-5
maint
Debian OCaml Maintainers
,
Samuel Mimram
(u)
,
Mehdi Dogguy
(u)
arch
any all
std-ver
3.9.3
VCS
Git
(
browse
)
versions
oldstable
2.13-2
stable
2.26+dfsg-2+squeeze1
testing
2.30+dfsg-4
unstable
2.30+dfsg-5
binaries
libwhy-coq
(
0 bugs
:
0
,
0
,
0
,
0
)
why
(
1 bugs
:
0
,
1
,
0
,
0
)
why-examples
(
0 bugs
:
0
,
0
,
0
,
0
)
testing migration
excuses
:
Too young, only 9 of 10 days old
Not considered
Depends: why
frama-c
(not considered)
news
RSS
[2012-05-16]
Accepted 2.30+dfsg-5 in unstable (low)
(Mehdi Dogguy)
[2012-04-09]
why 2.30+dfsg-4 MIGRATED to testing
(Britney)
[2012-04-06]
Accepted 2.30+dfsg-4 in unstable (high)
(Stéphane Glondu)
[2012-01-19]
why 2.30+dfsg-3 MIGRATED to testing
(Britney)
[2012-01-16]
Accepted 2.30+dfsg-3 in unstable (high)
(Mehdi Dogguy)
[2012-01-12]
Accepted 2.30+dfsg-2 in unstable (low)
(Mehdi Dogguy)
[2012-01-07]
why 2.30+dfsg-1 MIGRATED to testing
(Britney)
[2012-01-03]
Accepted 2.30+dfsg-1 in unstable (low)
(Mehdi Dogguy)
[2011-11-09]
why 2.29+dfsg-4 MIGRATED to testing
(Britney)
[2011-11-04]
Accepted 2.29+dfsg-4 in unstable (low)
(Mehdi Dogguy)
[2011-04-30]
why 2.29+dfsg-3 MIGRATED to testing
(Britney)
[2011-04-25]
Accepted 2.29+dfsg-3 in unstable (low)
(Mehdi Dogguy)
[2011-04-24]
Accepted 2.29+dfsg-2 in unstable (low)
(Mehdi Dogguy)
[2011-04-24]
Accepted 2.29+dfsg-1 in unstable (low)
(Mehdi Dogguy)
[2011-03-29]
why 2.26+dfsg-4 MIGRATED to testing
(Britney)
[2011-03-15]
why REMOVED from testing
(Britney)
[2011-03-13]
Accepted 2.26+dfsg-2+squeeze1 in stable (low)
(Mehdi Dogguy)
[2011-03-11]
Accepted 2.26+dfsg-4 in unstable (low)
(Stéphane Glondu)
[2011-02-06]
why 2.26+dfsg-3 MIGRATED to testing
(Britney)
[2011-01-20]
Accepted 2.26+dfsg-3 in unstable (low)
(Mehdi Dogguy)
[2010-08-01]
why 2.26+dfsg-2 MIGRATED to testing
(Britney)
[2010-07-20]
Accepted 2.26+dfsg-2 in unstable (low)
(Mehdi Dogguy)
[2010-06-12]
why 2.26+dfsg-1 MIGRATED to testing
(Britney)
[2010-06-01]
Accepted 2.26+dfsg-1 in unstable (low)
(Mehdi Dogguy)
[2010-05-08]
why 2.25+dfsg-1 MIGRATED to testing
(Britney)
[2010-04-27]
Accepted 2.25+dfsg-1 in unstable (low)
(Mehdi Dogguy)
[2010-02-25]
why 2.23+dfsg-2 MIGRATED to testing
(Britney)
[2010-02-17]
Accepted 2.23+dfsg-2 in unstable (low)
(Mehdi Dogguy)
[2010-01-24]
Accepted 2.23+dfsg-1 in unstable (low)
(Mehdi Dogguy)
[2009-09-21]
why 2.19+dfsg-2 MIGRATED to testing
(Britney)
bugs
all
1
RC
0
I&N
1
M&W
0
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
ports
debcheck:
unstable
testing
stable
lintian
popcon
debtags
ubuntu
version:
2.30+dfsg-5
patch-tracker
oldstable
2.13-2
stable
2.26+dfsg-2+squeeze1
testing
2.30+dfsg-4
unstable
2.30+dfsg-5