From 2b74b33c0d7039ac6ad27648063c1b8293d761d4 Mon Sep 17 00:00:00 2001 From: affeldt-aist <33154536+affeldt-aist@users.noreply.github.com> Date: Fri, 19 Jul 2024 17:10:00 +0900 Subject: [PATCH] Update README.md Co-authored-by: Pierre Roux --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index ea33f0cd..d0eb4694 100644 --- a/README.md +++ b/README.md @@ -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: