Register
|
Log in
News for package
coq
[
2021-11-27
]
coq REMOVED from testing
(
Debian testing watch
)
[
2021-11-16
]
Accepted coq 8.14.0+dfsg-6 (source) into unstable
(
Julien Puydt
)
[
2021-11-16
]
Accepted coq 8.14.0+dfsg-5 (source) into unstable
(
Julien Puydt
)
[
2021-11-15
]
Accepted coq 8.14.0+dfsg-4 (source) into unstable
(
Julien Puydt
)
[
2021-11-13
]
Accepted coq 8.14.0+dfsg-3 (source) into unstable
(
Julien Puydt
)
[
2021-11-11
]
Accepted coq 8.14.0+dfsg-2 (source amd64) into experimental
(
Julien Puydt
)
[
2021-11-08
]
Accepted coq 8.14.0+dfsg-1 (source amd64) into experimental
(
Julien Puydt
)
[
2020-09-30
]
coq 8.12.0-3 MIGRATED to testing
(
Debian testing watch
)
[
2020-09-10
]
Accepted coq 8.12.0-3 (source) into unstable
(
Ralf Treinen
)
[
2020-09-06
]
Accepted coq 8.12.0-2 (source) into experimental
(
Ralf Treinen
)
[
2020-08-22
]
Accepted coq 8.12.0-1 (source) into experimental
(
Ralf Treinen
)
[
2020-04-16
]
Accepted coq 8.11.1~pre1-1 (source) into experimental
(
Ralf Treinen
)
[
2020-03-24
]
coq 8.11.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2020-03-05
]
Accepted coq 8.11.0-1 (source) into unstable
(
Ralf Treinen
)
[
2020-02-01
]
coq 8.9.1-5 MIGRATED to testing
(
Debian testing watch
)
[
2020-01-29
]
Accepted coq 8.9.1-5 (source) into unstable
(
Ralf Treinen
)
[
2020-01-27
]
Accepted coq 8.9.1-4 (source) into unstable
(
Ralf Treinen
)
[
2020-01-24
]
Accepted coq 8.9.1-3 (source) into unstable
(
Ralf Treinen
)
[
2020-01-13
]
Accepted coq 8.10.2-1 (source amd64) into experimental, experimental
(
Ralf Treinen
)
[
2019-11-24
]
coq 8.9.1-2 MIGRATED to testing
(
Debian testing watch
)
[
2019-11-08
]
Accepted coq 8.9.1-2 (source) into unstable
(
Stéphane Glondu
)
[
2019-08-30
]
coq 8.9.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2019-08-20
]
Accepted coq 8.9.1-1 (source) into unstable
(
Stéphane Glondu
)
[
2019-02-25
]
coq 8.9.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2019-02-06
]
Accepted coq 8.9.0-1 (source amd64) into unstable
(
Benjamin Barenblat
)
[
2019-01-07
]
Accepted coq 8.8.2-1 (source amd64) into unstable
(
Benjamin Barenblat
)
[
2018-01-03
]
coq 8.6-5 MIGRATED to testing
(
Debian testing watch
)
[
2017-09-26
]
Accepted coq 8.6-5 (source amd64) into unstable
(
Stéphane Glondu
)
[
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
)
1
2
3
4
5
6
7
