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
Owner

Fix #3

Fix #3
dinosaure added 1 commit 2024-10-25 15:28:54 +00:00
dinosaure merged commit 80192cb685 into main 2024-10-25 15:28:59 +00:00
dinosaure deleted branch delete-pin-depends 2024-10-25 15:29:04 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: robur/blog.robur.coop#17
No description provided.