Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lutin
Commits
21d1a00f
Commit
21d1a00f
authored
Jun 23, 2022
by
erwan
Browse files
ci: add a mmissing dependancy in the opam file
parent
7fbea8c0
Pipeline
#103074
failed with stages
in 42 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
lutin.opam
View file @
21d1a00f
...
...
@@ -35,6 +35,7 @@ depends: [
"rdbg" {>= "1.196.9"}
"gbddml"
"ezdl"
"camlp-streams"
"polka"
]
build: ["dune" "build" "-p" name "-j" jobs]
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment