File tree 1 file changed +2
-0
lines changed
1 file changed +2
-0
lines changed Original file line number Diff line number Diff line change @@ -18019,6 +18019,7 @@ with pkgs;
1801918019 flocq = callPackage ../development/coq-modules/flocq {};
1802018020 interval = callPackage ../development/coq-modules/interval {};
1802118021 mathcomp = callPackage ../development/coq-modules/mathcomp { };
18022+ paco = callPackage ../development/coq-modules/paco {};
1802218023 math-classes = callPackage ../development/coq-modules/math-classes { };
1802318024 ssreflect = callPackage ../development/coq-modules/ssreflect { };
1802418025 QuickChick = callPackage ../development/coq-modules/QuickChick {};
@@ -18036,6 +18037,7 @@ with pkgs;
1803618037 flocq = callPackage ../development/coq-modules/flocq {};
1803718038 interval = callPackage ../development/coq-modules/interval {};
1803818039 mathcomp = callPackage ../development/coq-modules/mathcomp { };
18040+ paco = callPackage ../development/coq-modules/paco {};
1803918041 ssreflect = callPackage ../development/coq-modules/ssreflect { };
1804018042 QuickChick = callPackage ../development/coq-modules/QuickChick {};
1804118043 fiat_HEAD = callPackage ../development/coq-modules/fiat/HEAD.nix {};
You can’t perform that action at this time.
0 commit comments