Skip to content

Commit

Permalink
Remove the requirement for an unreleased Gospel in the README
Browse files Browse the repository at this point in the history
  • Loading branch information
shym committed Oct 23, 2023
1 parent 8965bca commit 524d684
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -44,9 +44,6 @@ The easiest way to try `ortac` out is to `opam pin` it:
opam pin add -y https://github.com/ocaml-gospel/ortac.git
```

It requires a yet-unreleased version of Gospel because Gospel evolved
quite a lot since its 0.1.0 release.

This repository contains the following OPAM packages:

- `ortac-core.opam` which provides the `ortac` command-line tool and the core
Expand Down

0 comments on commit 524d684

Please sign in to comment.