command-not-found.com – eground

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

eground

Equational Theorem Prover

Install

All systems: curl cmd.cat/eground.sh
Fedora: dnf install E
Dockerfile: dockerfile.run/eground

E

Equational Theorem Prover

API – eground

lastlog

Show the most recent login of all users or of a given user. More information: <https://manned.org/lastlog>.

rpm

RPM Package Manager. For equivalent commands in other package managers, see <https://wiki.archlinux.org/title/Pacman/Rosetta>. More information: <https://rpm.org/>.

firewall-cmd

The firewalld command-line client. More information: <https://firewalld.org/documentation/man-pages/firewall-cmd>.

tox

Automate Python testing across multiple Python versions. Use tox.ini to configure environments and test command. More information: <https://github.com/tox-dev/tox>.

spectgen

Edinburgh Speech Tools - user binaries

sg_requests

utilities for devices using the SCSI command set

ontv-dbus

GNOME Applet for monitoring current and upcoming TV programs

ifqQ

Profile based Illumina pair-end Reads Simulator

© 2019-2024 Łukasz Lach | czux.dev | About