diff -pruN 0.9.2/bin/ben.mli 0.10.0/bin/ben.mli --- 0.9.2/bin/ben.mli 1970-01-01 00:00:00.000000000 +0000 +++ 0.10.0/bin/ben.mli 2022-01-22 07:08:05.000000000 +0000 @@ -0,0 +1 @@ +(* empty interface *) diff -pruN 0.9.2/debian/changelog 0.10.0/debian/changelog --- 0.9.2/debian/changelog 2021-01-17 20:44:44.000000000 +0000 +++ 0.10.0/debian/changelog 2022-01-22 07:08:05.000000000 +0000 @@ -1,8 +1,28 @@ +ben (0.10.0) unstable; urgency=medium + + [ Mehdi Dogguy ] + * New homepage: https://debian.pages.debian.net/ben/ + + [ Jochen Sprickerhof ] + * Replace which by command -v + + [ Stéphane Glondu ] + * More concise output in debcheck in migrate examples + * Many changes in "ben rebuild" + - add parallelization option (-j) + - handle repo update inside ben, so that a shell loop is not needed + * Add OCaml transition preparation scripts to examples + + [ Debian Janitor ] + * Update standards version to 4.6.0, no changes needed. + + -- Stéphane Glondu Sat, 22 Jan 2022 08:08:05 +0100 + ben (0.9.2) unstable; urgency=medium - * Set status filters via URL parameters (Closes: #876966) - * Use Tyxml.Html.txt instead of Tyxml.Html.pcdata as the latter is deprecated - * Avoid deleting lock file when it exists + * Set status filters via URL parameters (Closes: #876966) + * Use Tyxml.Html.txt instead of Tyxml.Html.pcdata as the latter is deprecated + * Avoid deleting lock file when it exists * Add