docs(CONTRIBUTORS): really use Markdown

RedPRL · Oct 3, 2023 · b8c2b78 · b8c2b78
1 parent 4d2ffb3
commit b8c2b78
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/CONTRIBUTORS.markdown b/CONTRIBUTORS.markdown
@@ -1,3 +1,3 @@
 # CONTRIBUTORS
 
-Favonia
+- Favonia
diff --git a/algaett.opam b/algaett.opam
@@ -12,6 +12,7 @@ depends: [
   "dune" {>= "2.0"}
   "ocaml" {>= "5.0"}
   "algaeff" {>= "0.2"}
+  "asai" {>= "0.1"}
   "bwd" {>= "2.2"}
   "cmdliner" {>= "1.1"}
   "earley" {>= "3.0"}
@@ -20,12 +21,10 @@ depends: [
   "yuujinchou" {>= "5.0"}
   "odoc" {with-doc}
   "bantorra"
-  "asai"
 ]
 pin-depends: [
   [ "bantorra.0.2.0~dev" "git+https://github.com/RedPRL/bantorra" ]
   [ "emoji.1.2.0~pre" "git+https://github.com/fxfactorial/ocaml-emoji" ]
-  [ "asai.~dev" "git+https://github.com/RedPRL/asai"]
 ]
 build: [
   ["dune" "build" "-p" name "-j" jobs]