diff options
| author | Quinn Dougherty <quinnd@riseup.net> | 2023-09-29 23:54:49 +0200 |
|---|---|---|
| committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-09-29 23:57:07 +0200 |
| commit | c7634cf59a9d23569c5218435a2e72b8f32f3ddb (patch) | |
| tree | 20058acb0209fe3a5a308d567289adbf5260abf1 /pkgs/top-level/coq-packages.nix | |
| parent | 94b1e45cf2d02a11400c71ef1a40f12ba882c4ce (diff) | |
coqPackages.vcfloat: init at 2.1.1
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
| -rw-r--r-- | pkgs/top-level/coq-packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index fe3eb9ebe85d2..078bbb80942aa 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -120,6 +120,7 @@ let tlc = callPackage ../development/coq-modules/tlc {}; topology = callPackage ../development/coq-modules/topology {}; trakt = callPackage ../development/coq-modules/trakt {}; + vcfloat = callPackage ../development/coq-modules/vcfloat {}; Velisarios = callPackage ../development/coq-modules/Velisarios {}; Verdi = callPackage ../development/coq-modules/Verdi {}; VST = callPackage ../development/coq-modules/VST ((lib.optionalAttrs |