debian-ocaml-maint Nov 2021 by subject
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Updating extlib to 1.7.8
utop_2.8.0-1_source.changes ACCEPTED into unstable
why3 is marked for autoremoval from testing
why3_1.4.0-1_source.changes ACCEPTED into unstable
why3_1.4.0-2_source.changes ACCEPTED into unstable
wyrd_1.4.6-7_source.changes ACCEPTED into unstable
wyrd_1.4.6-8_source.changes ACCEPTED into unstable
The last update was on 17:00 GMT Tue Nov 30. There are 508 messages. Page 2 of 2.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc