matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Use 4.06.1 in jbuild-workspace.dev 

We should use the latest point release for a particular release
This commit is contained in:
Rudi Grinberg 2018-04-05 16:36:22 +08:00
parent 126c91fcd5
commit ff2296a0f8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
jbuild-workspace.dev
View File

@ -3,5 +3,5 @@
(context (opam (switch 4.03.0))) (context (opam (switch 4.03.0)))
(context (opam (switch 4.04.2))) (context (opam (switch 4.04.2)))
(context (opam (switch 4.05.0))) (context (opam (switch 4.05.0)))
(context (opam (switch 4.06.0))) (context (opam (switch 4.06.1)))
(context (opam (switch 4.07.0+trunk))) (context (opam (switch 4.07.0+trunk)))