This website requires JavaScript.
Explore
Help
Sign in
robur
/
blog.robur.coop
Watch
4
Star
0
Fork
You've already forked blog.robur.coop
1
Code
Issues
2
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
90fc53c8d2
blog.robur.coop
/
dune-project
3 lines
32 B
Text
Raw
Normal View
History
Unescape
Escape
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