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

168 B
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink