Update README.md

potassco · May 24, 2022 · 7c386b8 · 7c386b8
1 parent 2020d43
commit 7c386b8
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -39,7 +39,6 @@ git checkout develop
 Change your directory and install `eclingo`:
 ```
 cd eclingo/
-conda install clingo-5.5.0-py38lua53hf484d3e_20.tar.bz2
 pip install .
 ```