From 80d5498aa26aa497035fc0096817b6adad1c64d0 Mon Sep 17 00:00:00 2001 From: Ben Siraphob Date: Tue, 30 Mar 2021 15:34:14 +0700 Subject: coqPackages.odd-order: init at 1.12.0 --- pkgs/top-level/coq-packages.nix | 1 + 1 file changed, 1 insertion(+) (limited to 'pkgs/top-level/coq-packages.nix') diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index 0da4fea8f42..e15a1c3c876 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -58,6 +58,7 @@ let mathcomp-real-closed = callPackage ../development/coq-modules/mathcomp-real-closed {}; metalib = callPackage ../development/coq-modules/metalib { }; multinomials = callPackage ../development/coq-modules/multinomials {}; + odd-order = callPackage ../development/coq-modules/odd-order { }; paco = callPackage ../development/coq-modules/paco {}; paramcoq = callPackage ../development/coq-modules/paramcoq {}; QuickChick = callPackage ../development/coq-modules/QuickChick {}; -- cgit 1.4.1