Dutch CoronaMelder v1.0.2.71407 | 10.09.2020
was just tested by me on three devices with two different custom ROMs. Result: 1x negative 2x positive
[- negative] Galaxy S9 ‘launched’ LOS17.1-for-microG Services Core version 0.2.12.203315
.
[+ positive] Galaxy S5 ‘hlte’ PixelExperience 9.0-20190712-1406-UNOFFICIAL (see also here ….)
[+ positive] Galaxy S5 ‘hlte’ PixelExperience 10.0-20200514-1847-UNOFFICIAL
From this I conclude that the Dutch Corona Detector was coded extremely close to G**gle’s Exposure Notifications API and G-Play Services.