Register
|
Log in
News for package
coq
[
2012-04-06
]
Accepted coq 8.4~beta+dfsg-4 (source all amd64)
(
Stéphane Glondu
)
[
2012-03-27
]
Accepted coq 8.3.pl4+dfsg-1 (source all amd64)
(
Stéphane Glondu
)
[
2012-03-17
]
coq 8.3.pl3+dfsg-2 MIGRATED to testing
(
Debian testing watch
)
[
2012-03-04
]
Accepted coq 8.3.pl3+dfsg-2 (source all amd64)
(
Stéphane Glondu
)
[
2012-01-15
]
Accepted coq 8.4~beta+dfsg-3 (source all amd64)
(
Stéphane Glondu
)
[
2012-01-14
]
Accepted coq 8.4~beta+dfsg-2 (source all amd64)
(
Stéphane Glondu
)
[
2012-01-12
]
Accepted coq 8.4~beta+dfsg-1 (source all amd64)
(
Stéphane Glondu
)
[
2012-01-07
]
coq 8.3.pl3+dfsg-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-12-25
]
Accepted coq 8.3.pl3+dfsg-1 (source all amd64)
(
Stéphane Glondu
)
[
2011-11-09
]
coq 8.3.pl2+dfsg-2 MIGRATED to testing
(
Debian testing watch
)
[
2011-11-02
]
Accepted coq 8.3.pl2+dfsg-2 (source all amd64)
(
Stéphane Glondu
)
[
2011-04-30
]
coq 8.3.pl2+dfsg-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-04-19
]
Accepted coq 8.3.pl2+dfsg-1 (source all amd64)
(
Stéphane Glondu
)
[
2011-03-15
]
coq 8.2.pl2+dfsg-2 MIGRATED to testing
(
Debian testing watch
)
[
2011-02-26
]
Accepted coq 8.3.pl1+dfsg-2 (source all amd64)
(
Stéphane Glondu
)
[
2011-02-21
]
Accepted coq 8.2.pl2+dfsg-2 (source all amd64)
(
Stéphane Glondu
)
[
2010-12-24
]
Accepted coq 8.3.pl1+dfsg-1 (source all amd64)
(
Stéphane Glondu
)
[
2010-10-16
]
Accepted coq 8.3+dfsg-1 (source all amd64)
(
Stéphane Glondu
)
[
2010-08-10
]
Accepted coq 8.3~rc1+dfsg-1 (source all amd64)
(
Stéphane Glondu
)
[
2010-08-01
]
coq 8.2.pl2+dfsg-1 MIGRATED to testing
(
Debian testing watch
)
[
2010-07-24
]
Accepted coq 8.3~beta0+13323-1 (source all amd64)
(
Stéphane Glondu
)
[
2010-07-22
]
Accepted coq 8.3~beta0+13298-1 (source all amd64)
(
Stéphane Glondu
)
[
2010-07-02
]
Accepted coq 8.2.pl2+dfsg-1 (source all amd64)
(
Stéphane Glondu
)
[
2010-02-25
]
coq 8.2.pl1+dfsg-6 MIGRATED to testing
(
Debian testing watch
)
[
2010-02-22
]
Accepted coq 8.2.pl1+dfsg-6 (source all sparc)
(
Stéphane Glondu
)
[
2010-02-10
]
Accepted coq 8.2.pl1+dfsg-5 (source all amd64)
(
Stéphane Glondu
)
[
2009-12-14
]
coq 8.2.pl1+dfsg-4 MIGRATED to testing
(
Debian testing watch
)
[
2009-12-03
]
Accepted coq 8.2.pl1+dfsg-4 (source all amd64)
(
Stéphane Glondu
)
[
2009-09-09
]
coq 8.2.pl1+dfsg-3 MIGRATED to testing
(
Debian testing watch
)
[
2009-08-29
]
Accepted coq 8.2.pl1+dfsg-3 (source all amd64)
(
Stéphane Glondu
)
1
2
3
4
5
6
7
