Register
|
Log in
News for package
coq
[
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
)
[
2009-08-04
]
coq 8.2.pl1+dfsg-2 MIGRATED to testing
(
Debian testing watch
)
[
2009-08-03
]
coq 8.2.pl1+dfsg-2 MIGRATED to testing
(
Debian testing watch
)
[
2009-07-05
]
Accepted coq 8.2.pl1+dfsg-2 (source all amd64)
(
Stephane Glondu
)
[
2009-07-04
]
Accepted coq 8.2.pl1+dfsg-1 (source all amd64)
(
Stephane Glondu
)
[
2009-07-01
]
Accepted coq 8.2-1+dfsg-2 (source all amd64)
(
Stephane Glondu
)
[
2009-04-06
]
coq 8.2-1+dfsg-1 MIGRATED to testing
(
Debian testing watch
)
[
2009-02-28
]
Accepted coq 8.2-1+dfsg-1 (source all amd64)
(
Stephane Glondu
)
[
2009-02-08
]
Accepted coq 8.2~rc2+dfsg-3 (source all amd64)
(
Stephane Glondu
)
[
2009-02-08
]
Accepted coq 8.2~rc2+dfsg-2 (source all amd64)
(
Stephane Glondu
)
[
2009-02-07
]
Accepted coq 8.2~rc2+dfsg-1 (source all i386)
(
Stephane Glondu
)
(signed by:
Samuel Mimram
)
[
2008-08-15
]
Accepted coq 8.2~beta4+dfsg-2 (source all i386)
(
Stephane Glondu
)
(signed by:
Samuel Mimram
)
[
2008-08-14
]
Accepted coq 8.2~beta4+dfsg-1 (source all i386)
(
Stephane Glondu
)
(signed by:
Samuel Mimram
)
[
2008-01-16
]
coq 8.1.pl3+dfsg-1 MIGRATED to testing
(
Debian testing watch
)
[
2008-01-05
]
Accepted coq 8.1.pl3+dfsg-1 (source all i386)
(
Samuel Mimram
)
[
2007-12-19
]
coq 8.1.pl2+dfsg-3 MIGRATED to testing
(
Debian testing watch
)
[
2007-11-29
]
Accepted coq 8.1.pl2+dfsg-3 (source all i386)
(
Samuel Mimram
)
[
2007-11-16
]
Accepted coq 8.1.pl2+dfsg-2 (source all i386)
(
Samuel Mimram
)
[
2007-10-15
]
Accepted coq 8.1.pl2+dfsg-1 (source all i386)
(
Samuel Mimram
)
[
2007-09-07
]
Accepted coq 8.1.pl1+dfsg-3 (source all i386)
(
Samuel Mimram
)
[
2007-08-31
]
coq 8.1.pl1+dfsg-1 MIGRATED to testing
(
Debian testing watch
)
[
2007-08-24
]
Accepted coq 8.1.pl1+dfsg-2 (source all i386)
(
Samuel Mimram
)
[
2007-08-18
]
Accepted coq 8.1.pl1+dfsg-1 (source all i386)
(
Samuel Mimram
)
[
2007-07-15
]
coq 8.1+dfsg-6 MIGRATED to testing
(
Debian testing watch
)
[
2007-07-04
]
Accepted coq 8.1+dfsg-6 (source all i386)
(
Samuel Mimram
)
[
2007-06-28
]
coq 8.1+dfsg-5 MIGRATED to testing
(
Debian testing watch
)
[
2007-05-22
]
Accepted coq 8.1+dfsg-5 (source all i386)
(
Samuel Mimram
)
[
2007-04-25
]
coq 8.1+dfsg-3 MIGRATED to testing
(
Debian testing watch
)
[
2007-04-24
]
Accepted coq 8.1+dfsg-4 (source i386 all)
(
Samuel Mimram
)
1
2
3
4
5
6
7
