Remove cheri and mips specs -- they now have their own repository.

1 files changed, 3 insertions, 4 deletions

diff --git a/README.md b/README.md
index 5144d13c..d1a5bc32 100644
--- a/README.md
+++ b/README.md
@@ -19,10 +19,6 @@ some Sail specifications and related tools.
 
 * The Sail source code (in [src/](src/))
 
-* A Sail specification of a MIPS ISA (in [mips/](mips/))
-
-* A Sail specification of the CHERI MIPS ISA (in [cheri/](cheri/))
-
 * A Sail specification of ARMv8.3-A generated from ARM's publically
   released ASL specification (in [aarch64/](aarch64/))
 
@@ -40,6 +36,9 @@ hand-written fragment of ARMv8-A, but these are currently not up-to-date
 with the latest version of Sail, which is the (default) sail2 branch
 on Github.
 
+The mips and cheri-mips specifications that used to be here have moved to
+https://github.com/CTSRD-CHERI/sail-cheri-mips .
+
 OPAM Installation
 =================