Update README.md with pkg server info

README.md

@@ -2,16 +2,38 @@
 
 A metalanguage for creating sophisticated DSLs in Racket. You provide a grammar and binding rules, and the metalanguage provides a front-end that checks binding, expands macros to your DSL core langauge, and provides tools for working with binding in your DSL's compiler.
 
-This is still a prototype: it is not yet stable, and the documentation is incomplete.
-
 There are a few relatively-complete example DSL implementations: [miniKanren](tests/dsls/minikanren-rs2e), [miniclass](tests/dsls/miniclass), and [TinyHDL](tests/dsls/tiny-hdl). There is also a small [state machine DSL](demos/visser-symposium).
 
-The package is not yet available on the Racket package server. You can install it by checking out the Git repository, changing directory into it, and running:
+A release is available on the Racket package server as [`syntax-spec-v1`](https://pkgs.racket-lang.org/package/syntax-spec-v1). 
+
+This is still a prototype: future releases will likely contain breaking changes, and the documentation is incomplete. However, breaking changes will be released under an updated package name.
+
+To use the released package, install via:
+
+```
+raco pkg install syntax-spec-v1
+```
+
+and import as
+
+```
+(require syntax-spec-v1)
+```
+
+
+To use the latest, unstable version, check out the Git repository, change directory into it, and run:
+
 
 ```
 raco pkg install
 ```
 
+Then import as
+
+```
+(require syntax-spec)
+```
+
 Once installed, you can access the documentation via:
 
 ```