[02:13] <lotuspsychje> good morning
[23:03] <gry> Morning.
[23:14] <guiverc> Waaaaahhh !!!   I'm getting different results from packages.ubuntu.com & rmadison  (recent change; Wed, 04 Oct 2023 16:56:15 +0530 but still...)