Register
|
Log in
News for package
coq
[
2017-01-14
]
coq 8.6-4 MIGRATED to testing
(
Debian testing watch
)
[
2016-12-30
]
Accepted coq 8.6-4 (source amd64) into unstable
(
Enrico Tassi
)
[
2016-12-29
]
Accepted coq 8.6-3 (source amd64) into unstable
(
Enrico Tassi
)
[
2016-12-28
]
Accepted coq 8.6-2 (source amd64) into unstable
(
Enrico Tassi
)
[
2016-12-28
]
Accepted coq 8.6-1 (source amd64) into unstable
(
Enrico Tassi
)
[
2016-06-02
]
coq 8.5-2 MIGRATED to testing
(
Debian testing watch
)
[
2016-01-28
]
Accepted coq 8.5-2 (source amd64) into unstable
(
Enrico Tassi
)
[
2016-01-26
]
Accepted coq 8.5-1 (source amd64) into unstable
(
Enrico Tassi
)
[
2015-11-14
]
Accepted coq 8.5~beta3+dfsg-2 (source amd64) into experimental
(
Enrico Tassi
)
[
2015-11-14
]
Accepted coq 8.5~beta3+dfsg-1 (source amd64) into experimental
(
Enrico Tassi
)
[
2015-11-01
]
coq 8.4pl4dfsg-3 MIGRATED to testing
(
Britney
)
[
2015-10-22
]
Accepted coq 8.4pl4dfsg-3 (source all amd64) into unstable
(
Stéphane Glondu
)
[
2015-10-13
]
Accepted coq 8.4pl4dfsg-2 (source all amd64) into unstable
(
Stéphane Glondu
)
[
2015-07-20
]
Accepted coq 8.5~beta2+dfsg-2 (source amd64) into experimental
(
Enrico Tassi
)
[
2015-07-16
]
Accepted coq 8.5~beta2+dfsg-1 (source amd64) into experimental
(
Enrico Tassi
)
[
2014-08-11
]
coq 8.4pl4dfsg-1 MIGRATED to testing
(
Britney
)
[
2014-07-27
]
Accepted coq 8.4pl4dfsg-1 (source amd64 all)
(
Stéphane Glondu
)
[
2014-01-26
]
coq 8.4pl3dfsg-1 MIGRATED to testing
(
Debian testing watch
)
[
2014-01-19
]
Accepted coq 8.4pl3dfsg-1 (source amd64 all)
(
Stéphane Glondu
)
[
2013-12-12
]
coq 8.4pl2dfsg-4 MIGRATED to testing
(
Debian testing watch
)
[
2013-12-03
]
Accepted coq 8.4pl2dfsg-4 (source amd64 all)
(
Stéphane Glondu
)
[
2013-11-22
]
Accepted coq 8.4pl2dfsg-3 (source hurd-i386 all)
(
Stéphane Glondu
)
[
2013-07-26
]
Accepted coq 8.4pl2dfsg-2 (source amd64 all)
(
Stéphane Glondu
)
[
2013-05-25
]
coq 8.4pl2dfsg-1 MIGRATED to testing
(
Debian testing watch
)
[
2013-05-08
]
Accepted coq 8.4pl2dfsg-1 (source amd64 all)
(
Stéphane Glondu
)
[
2012-12-29
]
Accepted coq 8.4pl1dfsg-1 (source amd64 all)
(
Stéphane Glondu
)
[
2012-09-22
]
Accepted coq 8.4dfsg-2 (source amd64 all)
(
Stéphane Glondu
)
[
2012-08-20
]
Accepted coq 8.4dfsg-1 (source amd64 all)
(
Stéphane Glondu
)
[
2012-06-22
]
coq 8.3.pl4+dfsg-2 MIGRATED to testing
(
Debian testing watch
)
[
2012-06-06
]
Accepted coq 8.4~gamma0+really8.4beta2+dfsg-1 (source all amd64)
(
Stéphane Glondu
)
1
2
3
4
5
6
7
