Package : coq-ide > RPM : coq-ide-8.11.0-4.mga8.i586.rpm

Basic items

Install
Name coq-ide
Version 8.11.0
Release 4.mga8
URL https://coq.inria.fr
Group Sciences/Computer science
Summary The Coq Integrated Development Interface
Size 47MB
Arch i586
License LGPLv2

Description

The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant.

Media information

Distribution release Mageia 8
Media name core-release
Media arch i586

Advanced items

Source RPM coq-8.11.0-4.mga8.src.rpm
Build time 2021-01-11 22:23:24
Changelog View in Sophie
Files View in Sophie
Dependencies View in Sophie