Skip to content
GitLab
About GitLab
GitLab: the DevOps platform
Explore GitLab
Install GitLab
How GitLab compares
Get started
GitLab docs
GitLab Learn
Pricing
Talk to an expert
/
Help
What's new
14
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Switch to GitLab Next
Projects
Groups
Topics
Snippets
Register
Sign in
Toggle navigation
Menu
ligolang
LIGO
Merge requests
!1275
Update Tezos dependency to Florence 9.7
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Pierre-Emmanuel Wulfman
requested to merge
update_to_tezos_9.7
into
dev
Aug 26, 2021
Overview
4
Commits
5
Pipelines
7
Changes
52
Expand
Also update other dependencies.
Opam to 2.1 Coq to 8.13.2
Update vendored test-helper to Florence
has a changelog entry
Edited
Aug 26, 2021
by
Pierre-Emmanuel Wulfman