Update readme with a deprecation warning (#379)

hacspec · Oct 26, 2023 · bb5b411 · bb5b411
1 parent 00601ff
commit bb5b411
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Readme.md b/Readme.md
@@ -2,9 +2,9 @@
 
 <img src="https://raw.githubusercontent.com/hacspec/hacspec/master/img/mascot.png" width=100 style="float: left;"> A specification language for crypto primitives in Rust.
 
-_This is the successor of https://github.com/HACS-workshop/hacspec._
+_This is the successor of https://github.com/HACS-workshop/hacspec but a predecessor of https://github.com/hacspec/hax. **Development in this repository has mostly stopped**, see hax instead._
 
-For a quick intro, you can look at the [presentation slides](./presentation_slides.pdf). 
+For a quick intro, you can look at the [presentation slides](./presentation_slides.pdf).
 More information is available in the [book](https://hacspec.github.io/book/index.html).
 Also, see the Publications below.