From 41339d381dd99c4de73c4f223401b029bc3b8614 Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Thu, 6 Oct 2022 11:31:00 +0200
Subject: [PATCH] README.md: add version info

---
 README.md | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index f9a221c..d29ecc9 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,8 @@
-A formalization of CwFs in cubical agda using the 1Lab as a library.
\ No newline at end of file
+# CwFs
+
+A formalization of CwFs in cubical agda using the 1Lab as a library.
+
+# Dependencies
+
+* `1Lab@504cf7594c9fd7a4afb103d6fce3665cd3d994c3`
+* `Agda@52467b24fd0670168b2dd8855e9b8d25227e78b9`
\ No newline at end of file