mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-10 15:45:15 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
303c72b9074f4e08b065f7ddf8cf3397d267c8a5
guru/sci-mathematics/frama-c-qed
History
François-Xavier Carton d79091d437 sci-mathematics/frama-c: bump to 24.0 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
2022-01-13 21:35:58 +01:00
..
frama-c-qed-23.1.ebuild
…
frama-c-qed-24.0.ebuild
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
Manifest
sci-mathematics/frama-c: bump to 24.0
2022-01-13 21:35:58 +01:00
metadata.xml
…