Обновлен список пакетов

3 years ago · d41c0a0d14
parent 6b34d94dbf
commit d41c0a0d14
1 changed files with 0 additions and 5 deletions
--- a/profiles/templates/3.5/6_ac_update_sync/world/grp/dev-ml
+++ b/profiles/templates/3.5/6_ac_update_sync/world/grp/dev-ml
@ -3,11 +3,6 @@
 #?in(os_linux_pkglist, CB3)!=#
 #-world(#-cl_pass_file-#)-#
 !!dose3:0
-!!ocaml-re:0
 !!ocurl:0
 !!opam:0
 #in#
-
-#?in(os_linux_pkglist, CB4)!=#
-ocaml-re
-#in#