1 files changed, 1 insertions, 0 deletions
diff --git a/MOVED b/MOVED
index c6c3e8ee73b7..0e429ef0b7ed 100644
--- a/MOVED
+++ b/MOVED
@@ -17803,3 +17803,4 @@ net/nfs-ganesha-kmod||2023-03-19|Has expired: Broken since 2020
 graphics/py-open3d-python||2023-03-19|Has expired: Broken since 2020
 devel/libzrtpcpp||2023-03-20|Has expired: Broken since 2021
 devel/riscv64-gcc||2023-03-20|Has expired: Unsupported version and users should move to devel/freebsd-gcc12@riscv64
+devel/frama-c||2023-03-20|Has expired: Broken since 2021