diff --git a/data/packages/expl3.json b/data/packages/expl3.json index 74200cd87..6fca071ef 100644 --- a/data/packages/expl3.json +++ b/data/packages/expl3.json @@ -6532,9 +6532,15 @@ { "name": "muskip_set:Nn" }, + { + "name": "muskip_set:NV" + }, { "name": "muskip_set:cn" }, + { + "name": "muskip_set:cV" + }, { "name": "muskip_set_eq:NN" },