Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

liblapack: 3.8.0 -> 3.9.0 #73958

Merged
merged 1 commit into from Nov 25, 2019
Merged

liblapack: 3.8.0 -> 3.9.0 #73958

merged 1 commit into from Nov 25, 2019

Conversation

@markuskowa
Copy link
Member

markuskowa commented Nov 23, 2019

Motivation for this change

New subroutines + bug fixes: http://netlib.org/lapack/lapack-3.9.0.html

Things done
  • Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS linux)
  • Built on platform(s)
    • NixOS
    • macOS
    • other Linux distributions
  • Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • Tested compilation of all pkgs that depend on this change using nix-shell -p nix-review --run "nix-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • Determined the impact on package closure size (by running nix path-info -S before and after)
  • Ensured that relevant documentation is up to date
  • Fits CONTRIBUTING.md.

build failures seem to be unrelated to liblapack update:
Result of nix-review 1

56 package failed to build:
  • coqPackages.Cheerios (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.QuickChick (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.Verdi (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.category-theory (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.coq-bits (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.coqeal (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.coqprime (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.coquelicot (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.corn (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.gappalib (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.interval (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.iris (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.math-classes (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-algebra (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-algebra_1_7 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-algebra_1_9 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-analysis (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-bigenough (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-character (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-character_1_7 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-character_1_9 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-field (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-field_1_7 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-field_1_9 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-fingroup (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-fingroup_1_7 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-fingroup_1_9 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-finmap (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.multinomials (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-real-closed (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-solvable (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-solvable_1_7 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-solvable_1_9 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp_1_7 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp_1_7-analysis (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp_1_7-bigenough (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp_1_7-finmap (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp_1_7-finmap_1_0 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp_1_7-multinomials (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp_1_7-real-closed (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp_1_9 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp_1_9-analysis (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp_1_9-bigenough (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp_1_9-finmap (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp_1_9-multinomials (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp_1_9-real-closed (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.simple-io (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • framac (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • giac-with-xcas (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • python27Packages.fipy (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • python27Packages.scikits-odes (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • python37Packages.optuna (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • python38Packages.pytorchWithCuda (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • why3 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • xfitter (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
45 package were build:
  • compcert (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coq (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.InfSeqExt (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.StructTact (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.bignums (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.contribs.containers (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.contribs.zorns-lemma (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.coq-ext-lib (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.coq-extensible-records (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.coqhammer (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.equations (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.flocq (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.ltac2 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.ssreflect (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-ssreflect_1_7 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.mathcomp-ssreflect_1_9 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.paco (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.paramcoq (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.stdpp (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coqPackages.tlc (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coq_8_10 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coq_8_5 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coq_8_6 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coq_8_7 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • coq_8_8 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • csdp (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • giac (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • liblapack (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • magma (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • mxnet (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • ocamlPackages.lacaml (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • petsc (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • python27Packages.mxnet (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • python27Packages.pysparse (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • python37Packages.mxnet (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • python37Packages.pytorchWithCuda (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • python37Packages.scikits-odes (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • python38Packages.mxnet (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • python38Packages.scikits-odes (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • sage (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • sageWithDoc (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • satallax (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • scs (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • sundials (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
  • sundials_3 (coqPackages.coq ,coqPackages.mathcomp-algebra_1_8 ,coqPackages.mathcomp-character_1_8 ,coqPackages.mathcomp-coqeal ,coqPackages.mathcomp-field_1_8 ,coqPackages.mathcomp-fingroup_1_8 ,coqPackages.mathcomp-solvable_1_8 ,coqPackages.mathcomp-ssreflect_1_8 ,coqPackages.mathcompCorePkgs.algebra ,coqPackages.mathcompCorePkgs.all ,coqPackages.mathcompCorePkgs.character ,coqPackages.mathcompCorePkgs.field ,coqPackages.mathcompCorePkgs.fingroup ,coqPackages.mathcompCorePkgs.solvable ,coqPackages.mathcompCorePkgs.ssreflect ,coqPackages.mathcomp_1_8 ,coqPackages.mathcomp_1_8-analysis ,coqPackages.mathcomp_1_8-bigenough ,coqPackages.mathcomp_1_8-coqeal ,coqPackages.mathcomp_1_8-finmap ,coqPackages.mathcomp_1_8-multinomials ,coqPackages.mathcomp_1_8-real-closed ,coqPackages.mathcomp-multinomials ,coqPackages.mathcomp-ssreflect ,coq_8_9 ,liblapackWithoutAtlas ,sagemath)
Notify maintainers

cc @ttuegel @veprbl @costrouc

@markuskowa markuskowa force-pushed the markuskowa:upd-lapack branch from 867f7d0 to 7e44c6d Nov 24, 2019
@jonringer jonringer mentioned this pull request Nov 24, 2019
4 of 10 tasks complete
@veprbl
veprbl approved these changes Nov 24, 2019
Copy link
Member

veprbl left a comment

Went though Reference-LAPACK/lapack@v3.8.0...v3.9.0 and nothing stuck out as a potential breaking change. It seems like they did some improvements for discovery using cmake, but I don't think that there is much existing software that uses on that.

Ran nix-review on x86-64_darwin (without sandboxing):

1 package are marked as broken and were skipped:
openmodelica

9 package failed to build:
framac giac-with-xcas python27Packages.fipy python27Packages.scikits-odes python37Packages.optuna python37Packages.pytorchWithCuda python38Packages.pytorchWithCuda why3 xfitter

30 package were build:
compcert coqPackages.contribs.containers coqPackages.contribs.zorns-lemma coq_8_10 coq_8_5 coq_8_6 coq_8_7 coq_8_8 coq_8_9 csdp giac haskellPackages.lapack-carray haskellPackages.lapack-comfort-array haskellPackages.lapack-ffi liblapack magma mxnet petsc python27Packages.mxnet python27Packages.pysparse python37Packages.mxnet python37Packages.scikits-odes python38Packages.mxnet python38Packages.scikits-odes sage sageWithDoc satallax scs sundials sundials_3
@veprbl veprbl removed their assignment Nov 24, 2019
@veprbl veprbl merged commit aa7efea into NixOS:master Nov 25, 2019
16 checks passed
16 checks passed
Evaluation Performance Report Evaluator Performance Report
Details
grahamcofborg-eval ^.^!
Details
grahamcofborg-eval-check-maintainers matching changed paths to changed attrs...
Details
grahamcofborg-eval-check-meta config.nix: checkMeta = true
Details
grahamcofborg-eval-darwin nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="ofborg"; } ./pkgs/top-level/release.nix -A darwin-tested
Details
grahamcofborg-eval-nixos nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="ofborg"; } ./nixos/release-combined.nix -A tested
Details
grahamcofborg-eval-nixos-manual nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="ofborg"; } ./nixos/release.nix -A manual
Details
grahamcofborg-eval-nixos-options nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="ofborg"; } ./nixos/release.nix -A options
Details
grahamcofborg-eval-nixpkgs-manual nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="ofborg"; } ./pkgs/top-level/release.nix -A manual
Details
grahamcofborg-eval-nixpkgs-tarball nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="ofborg"; } ./pkgs/top-level/release.nix -A tarball
Details
grahamcofborg-eval-nixpkgs-unstable-jobset nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="ofborg"; } ./pkgs/top-level/release.nix -A unstable
Details
grahamcofborg-eval-package-list nix-env -qa --json --file .
Details
grahamcofborg-eval-package-list-no-aliases nix-env -qa --json --file . --arg config { allowAliases = false; }
Details
liblapack on aarch64-linux Success
Details
liblapack on x86_64-darwin Success
Details
liblapack on x86_64-linux Success
Details
@markuskowa markuskowa deleted the markuskowa:upd-lapack branch Nov 25, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants
You can’t perform that action at this time.