Skip to content

Commit

Permalink
typo
Browse files Browse the repository at this point in the history
  • Loading branch information
@affeldt-aist
affeldt-aist committed Jul 19, 2024
1 parent ca49e16 commit c2b7a34
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ The Coq Nix Toolbox has mainly two purposes:

3. Multiple cases of dependencies (typically different versions of Coq) can be easily handled with "bundles" of (reverse) dependency versions/git refs.

4 One can retrieve locally builds already performed on CI through "cachix".
4. One can retrieve locally builds already performed on CI through "cachix".

## How to use

Expand Down

0 comments on commit c2b7a34

Please sign in to comment.