11 package(s) known
| Repository | Package name | Version | Category | Maintainer(s) |
|---|---|---|---|---|
| Gentoo | app-emacs/company-coq | 1.0.1_p20220314 | app-emacs | gnu-emacs@gentoo.org |
| GNU Guix | emacs-company-coq | 1.0.1 | - | - |
| LiGurOS stable | app-emacs/company-coq | 1.0.1_p20220314 | app-emacs | gnu-emacs@gentoo.org |
| LiGurOS develop | app-emacs/company-coq | 1.0.1_p20220314 | app-emacs | gnu-emacs@gentoo.org |
| MELPA | company-coq | 20221130.536 | - | clement.pitclaudel@live.com |
| MELPA Stable | company-coq | 1.0.1 | - | clement.pitclaudel@live.com |
| nixpkgs stable 21.11 | emacs-company-coq | 20210708.2357 | emacs27Packages | fallback-mnt-nix@repology |
| nixpkgs stable 22.05 | emacs-company-coq | 20220314.526 | emacs28Packages | fallback-mnt-nix@repology |
| nixpkgs stable 22.11 | emacs-company-coq | 20220314.526 | emacsPackages | fallback-mnt-nix@repology |
| nixpkgs stable 23.05 | emacs-company-coq | 20221130.536 | emacsPackages | fallback-mnt-nix@repology |
| nixpkgs unstable | emacs-company-coq | 20221130.536 | emacsPackages | fallback-mnt-nix@repology |