update minimal OCaml version to 4.13
Showing
- .gitlab-ci.yml 9 additions, 7 deletions.gitlab-ci.yml
- opam 2 additions, 2 deletionsopam
- src/libraries/stdlib/transitioning.ml 0 additions, 30 deletionssrc/libraries/stdlib/transitioning.ml
- src/libraries/stdlib/transitioning.mli 0 additions, 14 deletionssrc/libraries/stdlib/transitioning.mli
- src/libraries/utils/hptmap.ml 1 addition, 1 deletionsrc/libraries/utils/hptmap.ml
- src/plugins/eva/domains/multidim/segmentation.ml 2 additions, 2 deletionssrc/plugins/eva/domains/multidim/segmentation.ml
- src/plugins/eva/partitioning/partition.ml 3 additions, 3 deletionssrc/plugins/eva/partitioning/partition.ml
- src/plugins/studia/writes.ml 0 additions, 1 deletionsrc/plugins/studia/writes.ml
- tools/hdrck/hdrck.ml 1 addition, 5 deletionstools/hdrck/hdrck.ml
Loading
Please register or sign in to comment