patch-dune-project « files « abella « math - freebsd/ports.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/math/abella/files/patch-dune-project

blob: 6d7a6f580c03e738fd99c086c6301f3c86367c42 (plain) (blame)

--- dune-project.orig	2024-05-05 18:43:45 UTC
+++ dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.11)
+(lang dune 3.7)
 (name abella)
 (version v2.0.8)
 (using menhir 2.0)