dockerfile.run – lfscc

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

lfscc

SMT proof checker

Fedora

RUN dnf install -y lfsc

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

API – lfscc

brew

Homebrew - a package manager for macOS and Linux. Some subcommands such as install have their own usage documentation. More information: <https://docs.brew.sh/Manpage>.

ffprobe

Multimedia stream analyzer. More information: <https://ffmpeg.org/ffprobe.html>.

docker-machine

Create and manage machines running Docker. More information: <https://docs.docker.com/machine/reference/>.

stack

Tool for managing Haskell projects. More information: <https://github.com/commercialhaskell/stack>.

spotbugs

libboost_atomic-mt.dll

win32 target

powerpc-linux-gnu-gnatgcc

GNU Ada compiler

jobrunner

Triggering Taskotron jobs via fedmsg

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

x