CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 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
