Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history 
Co-authored-by: Pierre Roux <[email protected]>
  • Loading branch information
@affeldt-aist @proux01
affeldt-aist and proux01 authored Jul 19, 2024
1 parent b740c37 commit 2b74b33
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,8 @@

## General presentation

The Coq Nix Toolbox is a set of Nix helper scripts to automate local builds and CI.
The Coq Nix Toolbox is a set of helper scripts to ease setting of CI for developments and their reverse dependencies.
It is based on the [Nix package manager](https://nixos.org/) and its [nixpkgs package repository](https://github.com/NixOS/nixpkgs).

The Coq Nix Toolbox has mainly two purposes:

Expand Down

0 comments on commit 2b74b33

Please sign in to comment.