dockerfile.run – e_ltb_runner

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

e_ltb_runner

Equational Theorem Prover

Fedora

RUN dnf install -y E

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

API – e_ltb_runner

truncate

Shrink or extend the size of a file to the specified size. More information: <https://www.gnu.org/software/coreutils/truncate>.

most

Open one or several files for interactive reading, allowing scrolling and search. More information: <https://manned.org/most>.

journalctl

Query the systemd journal. More information: <https://manned.org/journalctl>.

scheme

MIT Scheme language interpreter and REPL (interactive shell). More information: <https://www.gnu.org/software/mit-scheme>.

netdisco-mibs-install

Netdisco MIB bundle installer package

scotch_gmk_hy

programs and libraries for graph, mesh and hypergraph partitioning

lat_rand

Utilities to benchmark UNIX systems

secutil

Mono development tools

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