cs-complete-dep
Resolve and install Coq project dependencies
TLDR
Print which artifacts are published under a specific Maven group identifier
List published library versions under a specific Maven group identifier and an artifact one
Print which artifacts are pubblished under a given Maven groupId searching in the ivy2local
List published artifacts under a Maven group identifier searching in a specific repository and credentials
SYNOPSIS
cs-complete-dep [OPTIONS] [ARGS]
PARAMETERS
--help
Display help (assumed standard)
--version
Show version info (assumed standard)
DESCRIPTION
The cs-complete-dep command does not exist as a standard Linux utility across major distributions like Ubuntu, Fedora, Debian, or Arch. No man page, documentation, or references found in common package managers (apt, dnf, pacman, etc.).
It may be a custom script, alias, function from a specific application, third-party tool, or internal to a proprietary system (e.g., related to "CS" like CodeSynthesis or Container Station). If it's from a package, install via your distro's repositories and run man cs-complete-dep or cs-complete-dep --help.
Without context, it cannot be analyzed further. Check shell history, aliases (alias | grep cs), or functions (declare -f | grep cs-complete-dep).
CAVEATS
Command not recognized in standard Linux environments; potential custom or erroneous name. Verify existence with which cs-complete-dep or command -v cs-complete-dep.
TROUBLESHOOTING
Run cs-complete-dep --help if available. Search locally: find /usr -name '*cs-complete-dep*'.
ALTERNATIVES
For dependency completion/analysis: apt-rdepends, rpm -q --whatrequires, or dnf repoquery --whatrequires.
HISTORY
No documented history; absent from Linux command lineage since inception.
SEE ALSO
apt-cache(8), dnf repoquery(8), yum deplist(8), pacman -Si(8)


