opam admin make

rse-verification · Aug 29, 2024 · 927e35c · 927e35c
1 parent baf7ab0
commit 927e35c
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 0 deletions.
diff --git a/index.tar.gz b/index.tar.gz
diff --git a/repo b/repo
@@ -1,3 +1,4 @@
 opam-version: "2.0"
 browse: "https://github.com/rse-verification/opam"
 upstream: "https://github.com/rse-verification/opam/tree/master"
+stamp: "baf7ab037078892e10fcc4523b598421c97046d6"
diff --git a/urls.txt b/urls.txt
@@ -0,0 +1 @@
+repo	b77d03c3a917c07dd421c02983e70571	436