Merge branch 'fix/andre/configure-messages' into 'master'
[configure] show version of found libraries See merge request frama-c/frama-c!2293
No related branches found
No related tags found
Please register or sign in to comment
[configure] show version of found libraries See merge request frama-c/frama-c!2293