framac 28.0 -> 28.1 https://repology.org/project/frama-c/versions attrpath: framac Checking auto update branch... An auto update branch exists with message `framac: 28.0 -> 28.1`. New version is 28.1. An auto update branch exists with an equal or greater version