DB48X: HP48-like RPL implementation for DM42

[mahi]

(10-02-2024 04:30 PM)c3d Wrote:  I just downloaded the file from GitHub and reinstalled, just to make sure, and my DM32 shows v0.8.0. If GitHub shared a v0.8.0Z with you, then I'd really like to understand why. This might suggest that updating a release binary on GitHub to fix a mistake is not instantaneous, or simply that you were unlucky enough to download a transitory 0.8.0Z before I saw my mistake and replaced it with the correct 0.8.0.

I downloaded DB48X 0.8.0 from github on Monday 30th (sorry, forgot the exact time but I think it was around 20:00 CET), and apparently my DM42 now also has 0.8.0Z...

I've downloaded the archive again (didn't keep the old one), but the date of "db48x.pgm" differs with that on the FAT system of the calculator:

0.8.0Z: db48x.pgm - 2024-09-29 21:02 CET
0.8.0: db48x.pgm - 2024-09-30 22:51 CET (that's more recent than when I first downloaded 0.8.0)

I could not reproduce the 1100/2.2 bug with 0.8.0Z, though.