dockerfile.run – e_stratpar

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

e_stratpar

Equational Theorem Prover

Fedora

RUN dnf install -y E

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

API – e_stratpar

vagrant

Manage lightweight, reproducible, and portable development environments. More information: <https://www.vagrantup.com>.

arch

Display the name of the system architecture. See also uname. More information: <https://www.gnu.org/software/coreutils/arch>.

cabal

Command-line interface to the Haskell package infrastructure (Cabal). Manage Haskell projects and Cabal packages from the Hackage package repository. More information: <https://cabal.readthedocs.io/en/latest/intro.html>.

sass

Converts SCSS or Sass files to CSS. More information: <https://sass-lang.com/documentation/cli/dart-sass>.

arb_vertex_program-matrix-property-bindings

Open-source test suite for OpenGL and OpenCL implementations

gfs2_quota

Global File System 2 - filesystem tools

otfdump

A Library for handling OpenType Font

oboinus

background previewer and setter for X implemented in Python

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

x