Skip to content

Commit

Permalink
update version number in readme file.
Browse files Browse the repository at this point in the history
  • Loading branch information
Vilhelm Sjöberg committed Oct 21, 2020
1 parent 2701cd5 commit 4399475
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
# The DeepSEA Language

Version 1.0 binary release.

You can download a zip file from the [releases page](https://github.com/CertiKProject/deepsea-preview/releases). Please see the [DeepSEA language reference](https://github.com/CertiKProject/deepsea-preview/blob/master/DeepSEA%20language%20reference.pdf) for installation and usage instructions.

The zip file includes pre-built binaries for Linux (Ubuntu) and MacOS. Since they use some system libraries, it is possible that they will not work on every version of Linux or MacOS. It is also easy to build the binaries from source yourself, following the instructions in the `src` directory.
Expand Down

0 comments on commit 4399475

Please sign in to comment.