linux

4.7.3a-4.fc28.x86_64 : Eclipse Tests

Install

All systems
curl cmd.cat/linux.sh
Fedora
dnf install texlive-e-french-doc-8
Dockerfile
dockerfile.run/linux

eclipse-tests-1

4.7.3a-4.fc28.x86_64 : Eclipse Tests

pvs-sbcl

Interactive theorem prover from SRI

eclipse-pde-1

4.10.0-2.fc30.x86_64 : Eclipse Plugin Development Environment

texlive-e-french-doc-8

svn45091-23.fc30.noarch : Documentation for e-french