Commit 2fb10783 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

Put mathcomp packages in alphabetical order

parent 25c631cc

pkgs/top-level/coq-packages.nix

+3 −3
Original line number Diff line number Diff line
@@ -76,16 +76,16 @@ let 
      mathcomp-field     = self.mathcomp.field;

      mathcomp-character = self.mathcomp.character;

      mathcomp-abel = callPackage ../development/coq-modules/mathcomp-abel {};

      mathcomp-algebra-tactics = callPackage ../development/coq-modules/mathcomp-algebra-tactics {};

      mathcomp-analysis = callPackage ../development/coq-modules/mathcomp-analysis {};

      mathcomp-apery = callPackage ../development/coq-modules/mathcomp-apery {};

      mathcomp-bigenough = callPackage ../development/coq-modules/mathcomp-bigenough {};

      mathcomp-classical = self.mathcomp-analysis.classical;

      mathcomp-finmap = callPackage ../development/coq-modules/mathcomp-finmap {};

      mathcomp-bigenough = callPackage ../development/coq-modules/mathcomp-bigenough {};

      mathcomp-real-closed = callPackage ../development/coq-modules/mathcomp-real-closed {};

      mathcomp-tarjan = callPackage ../development/coq-modules/mathcomp-tarjan {};

      mathcomp-word = callPackage ../development/coq-modules/mathcomp-word {};

      mathcomp-zify = callPackage ../development/coq-modules/mathcomp-zify {};

      mathcomp-algebra-tactics = callPackage ../development/coq-modules/mathcomp-algebra-tactics {};

      mathcomp-tarjan = callPackage ../development/coq-modules/mathcomp-tarjan {};

      metacoq = callPackage ../development/coq-modules/metacoq { };

      metacoq-template-coq = self.metacoq.template-coq;

      metacoq-pcuic        = self.metacoq.pcuic;