Register
|
Log in
News for package
coq-unimath
[
2023-06-24
]
coq-unimath 20230420-4 MIGRATED to testing
(
Debian testing watch
)
[
2023-06-22
]
Accepted coq-unimath 20230420-4 (source) into unstable
(
Julien Puydt
)
[
2023-06-20
]
Accepted coq-unimath 20230420-3 (source) into unstable
(
Julien Puydt
)
[
2023-06-17
]
Accepted coq-unimath 20230420-2 (source) into unstable
(
Julien Puydt
)
[
2023-06-12
]
Accepted coq-unimath 20230420-1 (source) into unstable
(
Julien Puydt
)
[
2023-01-31
]
coq-unimath 20220816-2 MIGRATED to testing
(
Debian testing watch
)
[
2023-01-25
]
Accepted coq-unimath 20220816-2 (source) into unstable
(
Julien Puydt
)
[
2022-08-25
]
coq-unimath 20220816-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-08-22
]
Accepted coq-unimath 20220816-1 (source) into unstable
(
Julien Puydt
)
[
2022-07-28
]
coq-unimath 20220204-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-07-23
]
Accepted coq-unimath 20220204-1 (source amd64) into unstable, unstable
(
Debian FTP Masters
)
(signed by:
Julien Puydt
)
