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

Delete useless pin-depends and use yocaml.2.0.1 #17

Merged
dinosaure merged 1 commit from delete-pin-depends into main 2024-10-25 15:28:59 +00:00
Conversation 0 Commits 1 Files changed 1 +1 -12

1 commit

Author SHA1 Message Date
Calascibetta Romain
9991309d38 Delete useless pin-depends and use yocaml.2.0.1 2024-10-25 17:28:24 +02:00