public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.fourcolor: init at 1.2.3

Browse Source
This commit is contained in:
Ben Siraphob
2021-03-26 10:55:48 +01:00
committed by Vincent Laporte
parent 343d30c15a
commit 2341ffeeaa
2 changed files with 25 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/top-level/coq-packages.nix
+1
View File
@@ -33,6 +33,7 @@ let
equations = callPackage ../development/coq-modules/equations { };
fiat_HEAD = callPackage ../development/coq-modules/fiat/HEAD.nix {};
flocq = callPackage ../development/coq-modules/flocq {};
fourcolor = callPackage ../development/coq-modules/fourcolor {};
gappalib = callPackage ../development/coq-modules/gappalib {};
heq = callPackage ../development/coq-modules/heq {};
hierarchy-builder = callPackage ../development/coq-modules/hierarchy-builder {};