# Calculate name=world format=world

#?in(os_linux_pkglist, CB4)!=#
#-world(#-cl_pass_file-#)-#
!!eclib:0
!!giac:0
# not compiled
!!polymake:0
!!singular:0
!!why3-for-spark:0
#in#