|
|
|
@ -17509,6 +17509,7 @@ with pkgs; |
|
|
|
|
mathcomp = callPackage ../development/coq-modules/mathcomp { }; |
|
|
|
|
math-classes = callPackage ../development/coq-modules/math-classes { }; |
|
|
|
|
ssreflect = callPackage ../development/coq-modules/ssreflect { }; |
|
|
|
|
QuickChick = callPackage ../development/coq-modules/QuickChick {}; |
|
|
|
|
fiat_HEAD = callPackage ../development/coq-modules/fiat/HEAD.nix {}; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
@ -17524,6 +17525,7 @@ with pkgs; |
|
|
|
|
interval = callPackage ../development/coq-modules/interval {}; |
|
|
|
|
mathcomp = callPackage ../development/coq-modules/mathcomp { }; |
|
|
|
|
ssreflect = callPackage ../development/coq-modules/ssreflect { }; |
|
|
|
|
QuickChick = callPackage ../development/coq-modules/QuickChick {}; |
|
|
|
|
fiat_HEAD = callPackage ../development/coq-modules/fiat/HEAD.nix {}; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|