Show home:radomir_cernoch:coq - openSUSE Build Service

Overview Repositories Monitor Requests Users Subprojects Project Config Attributes Signing Keys Meta Status Pulse

Coq proof assistant

This project aims at building the Coq proof assistant together with all its libraries.

Build Results

Refresh

Packages 3

Name	Changed

Comments 0

Login required, please login in order to comment

openSUSE Build Service is sponsored by