mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-11 08:03:16 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
a60c4bacbe05c9def23937e631106c9200cd71f3
guru/sci-mathematics/frama-c-qed
History
David Roman 30fe0558e5 sci-mathematics/frama-c-*: drop 23.1 and 24.0 
Signed-off-by: David Roman <davidroman96@gmail.com>
2024-09-06 14:27:23 +02:00
..
frama-c-qed-25.0.ebuild
…
Manifest
…
metadata.xml
…