dockerfile.run – checkproof

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

checkproof

Equational Theorem Prover

Fedora

RUN dnf install -y E

click the source code to copy install checkproof on any operating system with command-not-found.com

API – checkproof

lvcreate

Create a logical volume in an existing volume group. A volume group is a collection of logical and physical volumes. See also: lvm. More information: <https://man7.org/linux/man-pages/man8/lvcreate.8.html>.

bmaptool

Create or copy block maps intelligently (designed to be faster than cp or dd). More information: <https://source.tizen.org/documentation/reference/bmaptool>.

supervisord

Supervisor is a client/server system for controlling some processes on UNIX-like operating systems. Supervisord is the server part of supervisor; it is primarily managed via a configuration file. More information: <http://supervisord.org>.

users

Display a list of logged in users. See also: useradd, userdel, usermod. More information: <https://www.gnu.org/software/coreutils/users>.

uaserver

Pure Python OPC-UA Client and Server (tools)

ngetlite

auto-resuming command line NNTP file grabber

gst-launch-1.0

Build and run a GStreamer pipeline. More information: <https://gstreamer.freedesktop.org/documentation/tools/gst-launch.html?gi-language=c>.

rpm2paco

simple but yet powerful source code package management system

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

x