From 96dc8f7740697bc797f77b547e6c4c394655da01 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <l.gaeher@posteo.de>
Date: Mon, 28 Oct 2024 11:29:11 +0100
Subject: [PATCH] move opam file

---
 .gitignore        | 4 ++--
 opam => iris.opam | 0
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename opam => iris.opam (100%)

diff --git a/.gitignore b/.gitignore
index 63df3a3d..12d38bb9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,7 +13,7 @@
 *.bak
 .coqdeps.d
 .coq-native/
-build-dep/
+builddep/
 Makefile.coq
 .Makefile.coq.d
 Makefile.coq.conf
@@ -27,4 +27,4 @@ _opam
 **/auto/*
 
 *.pygtex
-*.pygstyle
\ No newline at end of file
+*.pygstyle
diff --git a/opam b/iris.opam
similarity index 100%
rename from opam
rename to iris.opam
-- 
GitLab