Register
|
Log in
News for package
coq-elpi
[
2022-06-12
]
Accepted coq-elpi 1.14.0-5 (source) into unstable
(
Julien Puydt
)
[
2022-06-12
]
Accepted coq-elpi 1.14.0-4 (source) into unstable
(
Julien Puydt
)
[
2022-06-01
]
Accepted coq-elpi 1.14.0-3 (source) into unstable
(
Julien Puydt
)
[
2022-05-21
]
Accepted coq-elpi 1.14.0-2 (source) into unstable
(
Julien Puydt
)
[
2022-05-14
]
Accepted coq-elpi 1.14.0-1 (source) into unstable
(
Julien Puydt
)
[
2022-04-22
]
coq-elpi 1.13.0-7 MIGRATED to testing
(
Debian testing watch
)
[
2022-04-17
]
Accepted coq-elpi 1.13.0-7 (source) into unstable
(
Julien Puydt
)
[
2022-04-16
]
Accepted coq-elpi 1.13.0-6 (source) into unstable
(
Julien Puydt
)
[
2022-04-13
]
Accepted coq-elpi 1.13.0-5 (source) into unstable
(
Julien Puydt
)
[
2022-04-11
]
Accepted coq-elpi 1.13.0-4 (source) into unstable
(
Julien Puydt
)
[
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
