mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-23 14:03:33 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
af31cc69defe80565fa4e43335c8a240c9ef77cf
guru/sci-mathematics/frama-c-qed
History
Lucio Sauer b22ec9eb1c sci-mathematics/*: drop inactive maintainer 
Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
2025-06-23 08:58:03 +02:00
..
frama-c-qed-25.0.ebuild
…
Manifest
…
metadata.xml
sci-mathematics/*: drop inactive maintainer
2025-06-23 08:58:03 +02:00