CVSROOT: /cvs Module name: ports Changes by: j...@cvs.openbsd.org 2019/03/04 21:29:47
Removed files: devel/cil/patches: patch-configure_in devel/frama-c/patches: patch-src_buckx_buckx_c_c devel/ocaml-dose/patches: patch-algo_defaultgraphs_ml patch-algo_depsolver_int_ml patch-algo_depsolver_ml patch-algo_diagnostic_ml patch-algo_dominators_ml patch-algo_flatten_ml patch-algo_statistics_ml patch-algo_strongconflicts_int_ml patch-algo_strongconflicts_ml patch-algo_strongdeps_int_ml patch-algo_strongdeps_ml patch-applications_ceve_ml patch-applications_challenged_ml patch-applications_deb-buildcheck_ml patch-applications_deb-coinstall_ml patch-applications_distcheck_ml patch-applications_dominators-graph_ml patch-applications_outdated_ml patch-applications_smallworld_ml patch-applications_strong-deps_ml patch-common_cudfAdd_ml patch-common_cudfSolver_ml patch-common_edosSolver_ml patch-common_input_ml patch-common_input_mli patch-common_url_ml patch-common_util_ml patch-common_util_mli patch-cv_cvcudf_ml patch-deb_apt_ml patch-deb_architecture_ml patch-deb_debcudf_ml patch-deb_debutil_ml patch-deb_edsp_ml patch-deb_format822_ml patch-deb_packages_ml patch-deb_sources_ml patch-doseparse_stdDebug_ml patch-doseparse_stdLoaders_ml patch-doseparse_stdOptions_ml patch-doseparse_stdUtils_ml patch-eclipse_packages_ml patch-eclipse_version_ml patch-opencsw_packages_ml patch-opencsw_version_ml patch-rpm_hdlists_ml patch-rpm_packages_ml patch-rpm_rpmcudf_ml devel/ocaml-parmap/patches: patch-Makefile_in patch-parmap_mldylib patch-parmap_mllib devel/omake/patches: patch-OMakefile patch-src_build_omake_rule_ml patch-src_exec_omake_exec_ml patch-src_libmojave-external_cutil_lm_printf_c lang/ocaml-camlp4/patches: patch-configure math/coq : sort_PLIST.sed math/coq/patches: patch-Makefile_build patch-configure patch-coqmktmp_ml sysutils/opam/patches: patch-Makefile sysutils/opam/pkg: DESCR-lib DESCR-main PFRAG.native-lib PLIST-lib PLIST-main Log message: Those files should have been removed in the ocaml-4.07.1+friends update Noticed by krw@ and Adam Steen