diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-10-18 11:42:52 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-10-18 11:42:52 +0200 |
| commit | 8797af5eb7d2df20ca6447c29a8e8a96ba84d9e5 (patch) | |
| tree | 3aff0e0d1e73c68833a4467623e928d139a24b93 /pkgs/top-level/coq-packages.nix | |
| parent | 589393a08b6cb8c938597bb8b12a541cc0926855 (diff) | |
| download | nixpkgs-8797af5eb7d2df20ca6447c29a8e8a96ba84d9e5.tar nixpkgs-8797af5eb7d2df20ca6447c29a8e8a96ba84d9e5.tar.gz nixpkgs-8797af5eb7d2df20ca6447c29a8e8a96ba84d9e5.tar.bz2 nixpkgs-8797af5eb7d2df20ca6447c29a8e8a96ba84d9e5.tar.lz nixpkgs-8797af5eb7d2df20ca6447c29a8e8a96ba84d9e5.tar.xz nixpkgs-8797af5eb7d2df20ca6447c29a8e8a96ba84d9e5.tar.zst nixpkgs-8797af5eb7d2df20ca6447c29a8e8a96ba84d9e5.zip | |
coqPackages.gaia-hydras: init at 0.5
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
| -rw-r--r-- | pkgs/top-level/coq-packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index dc657ab1df5..b8c0926a863 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -43,6 +43,7 @@ let flocq = callPackage ../development/coq-modules/flocq {}; fourcolor = callPackage ../development/coq-modules/fourcolor {}; gaia = callPackage ../development/coq-modules/gaia {}; + gaia-hydras = callPackage ../development/coq-modules/gaia-hydras {}; gappalib = callPackage ../development/coq-modules/gappalib {}; goedel = callPackage ../development/coq-modules/goedel {}; graph-theory = callPackage ../development/coq-modules/graph-theory {}; |