From c1dfd4591d7bf56b980c86bd605d010599dac654 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Wed, 27 Jan 2021 17:36:45 +0000
Subject: [PATCH] Initial commit.

---
 README.md | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..b769506
--- /dev/null
+++ b/README.md
@@ -0,0 +1,27 @@
+# [Dockerfiles for Isabelle and Related Projects](https://git.logicalhacking.com/lh-docker/lh-docker-scale-mamba)
+
+This repository contains Dockerfiles for running [SCALE-MAMBA](https://github.com/KULeuven-COSIC/SCALE-MAMBA)
+and projects based on [SCALE-MAMBA](https://github.com/KULeuven-COSIC/SCALE-MAMBA).
+
+## List of Dockerfiles
+
+* [scale-mamba-1.11](scale-mamba-1.11/Dockerfile) provides SCALE-MAMBA 1.11.
+
+* [scale-mamba-1.5](scale-mamba-1.5/Dockerfile) provides SCALE-MAMBA 1.5.
+
+## Authors
+
+Main author: [Achim D. Brucker](http://www.brucker.ch/)
+
+## License
+
+If not otherwise stated, all Dockerfiles are licensed under a 2-clause
+BSD-style license.
+
+SPDX-License-Identifier: BSD-2-Clause
+
+## Master Repository
+
+The master git repository for this project is hosted by the [Software
+Assurance & Security Research Team](https://logicalhacking.com) at
+<https://git.logicalhacking.com/lh-docker/lh-docker-scale-mamba>.