diff --git a/profiles/templates/6_ac_update_sync/world/grp/sci-mathematics b/profiles/templates/6_ac_update_sync/world/grp/sci-mathematics index b411ab08..cb252433 100644 --- a/profiles/templates/6_ac_update_sync/world/grp/sci-mathematics +++ b/profiles/templates/6_ac_update_sync/world/grp/sci-mathematics @@ -4,6 +4,7 @@ #-world(#-cl_pass_file-#)-# !!eclib:0 !!giac:0 +!!octave:0 !!why3-for-spark:0 # not compiled !!singular:0