Register
|
Log in
News for package
ppx-tools-versioned
[
2022-02-24
]
Removed 5.4.0-1 from unstable
(
Debian FTP Masters
)
[
2022-02-03
]
ppx-tools-versioned REMOVED from testing
(
Debian testing watch
)
[
2020-08-05
]
ppx-tools-versioned 5.4.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2020-07-25
]
Accepted ppx-tools-versioned 5.4.0-1 (source) into unstable
(
Stéphane Glondu
)
[
2019-08-25
]
ppx-tools-versioned 5.2.3-1 MIGRATED to testing
(
Debian testing watch
)
[
2019-08-22
]
Accepted ppx-tools-versioned 5.2.3-1 (source) into unstable
(
Stéphane Glondu
)
[
2019-08-04
]
ppx-tools-versioned 5.2.1-2 MIGRATED to testing
(
Debian testing watch
)
[
2019-08-02
]
Accepted ppx-tools-versioned 5.2.1-2 (source) into unstable
(
Stéphane Glondu
)
[
2019-01-12
]
ppx-tools-versioned 5.2.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2018-12-25
]
Accepted ppx-tools-versioned 5.2.1-1 (source amd64 all) into unstable
(
Andy Li
)
[
2018-08-03
]
ppx-tools-versioned 5.2-1 MIGRATED to testing
(
Debian testing watch
)
[
2018-07-26
]
Accepted ppx-tools-versioned 5.2-1 (source amd64 all) into unstable, unstable
(
Andy Li
)
(signed by:
Mehdi Dogguy
)
