nixpkgs/pkgs/development/coq-modules/math-classes
Vincent Laporte 1f11888116 Revert "coqPackages: etc"
This reverts commit 7e589a45ef.
2022-05-13 06:47:14 +02:00
..
default.nix