Register
|
Log in
News for package
coq-elpi
[
2022-04-01
]
Accepted coq-elpi 1.13.0-3 (source amd64 all) into unstable, unstable
(
Debian FTP Masters
)
(signed by:
Julien Puydt
)
[
2022-03-23
]
Accepted coq-elpi 1.13.0-2 (source) into unstable
(
Julien Puydt
)
[
2022-02-16
]
coq-elpi 1.13.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-02-10
]
Accepted coq-elpi 1.13.0-1 (source) into unstable
(
Julien Puydt
)
[
2022-02-06
]
Accepted coq-elpi 1.12.1-2 (source) into unstable
(
Julien Puydt
)
[
2022-02-03
]
coq-elpi 1.12.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-01-21
]
Accepted coq-elpi 1.12.1-1 (source) into unstable
(
Julien Puydt
)
[
2022-01-17
]
Accepted coq-elpi 1.12.0-1 (source) into unstable
(
Julien Puydt
)
[
2022-01-17
]
Accepted coq-elpi 1.11.2-2 (source) into unstable
(
Julien Puydt
)
[
2022-01-11
]
coq-elpi 1.11.2-1 MIGRATED to testing
(
Debian testing watch
)
[
2021-12-17
]
Accepted coq-elpi 1.11.2-1 (source amd64) into unstable, unstable
(
Debian FTP Masters
)
(signed by:
Julien Puydt
)
1
2
