robur/blog.robur.coop
4
0
Fork 1
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions
blog.robur.coop/dune-project

3 lines
32 B
Text
Raw Permalink Normal View History

Depend on dune 3.16 We depend on a feature newer than 3.14.2 and it works for 3.16.
2024-10-04 11:15:13 +00:00
(lang dune 3.16)
First commit
2023-11-13 18:13:44 +00:00
(name blogger)
Reference in a new issue Copy permalink