Skip to content
Snippets Groups Projects

Update_dolmen and fix #55

Merged Update_dolmen and fix #55
fixes into master
1 unresolved thread
Merged François Bobot requested to merge fixes into master
1 unresolved thread

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
.gitlab-ci.yml
27 27 script:
28 28 - rm -f Src/COLIBRI/lib/v7/x86_64_linux/* Src/COLIBRI/simplex_ocaml.pl
29 29 #OCaml dependencies
30 - opam depext --install "dune.2.7.1" "ocplib-simplex.0.4" "zarith.1.9.1" "parsexp.v0.14.0" "menhir.20200624" "fmt.0.8.8" "spelll.0.3" "uutf.1.0.2" "gen.0.5.3"
30 - opam depext --install "dune.2.7.1" "ocplib-simplex.0.4" "zarith.1.9.1" "parsexp.v0.14.0" "menhir.20200624" "fmt.0.8.8" "spelll.0.3" "uutf.1.0.2" "gen.0.5.3" "pp_loc"
  • François Bobot merged

    merged

  • François Bobot mentioned in commit 5c5f9200

    mentioned in commit 5c5f9200

    • Please register or sign in to reply