From f0570f498bc8a0d25e878115b4066b140908c4b4 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 28 Sep 2023 09:41:48 -0700
Subject: [PATCH] Update meta.yml

---
 meta.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/meta.yml b/meta.yml
index e81b779..f5fd802 100644
--- a/meta.yml
+++ b/meta.yml
@@ -38,6 +38,7 @@ tested_coq_opam_versions:
 - version: '8.15'
 - version: '8.16'
 - version: '8.17'
+- version: '8.18.
 - version: 'dev'
 
 dependencies: