Coq - The world's largest Package Store for software packages

// Discover to Manage

Enterprise Deployment Package for

Publisher	Coq
License Type	LGPLv2.1
Product Homepage	https://github.com/coq/coq

Description:

Contact our experts

Are you interested in our Package Store, need further information, or have other questions? We will support you with your request – contact us today.

First Name

Last Name

Company

Job Function

Business Email

Phone Number

Message

Where did you hear from us?*

I hereby consent to the Privacy Policy, to the confidential further processing of my personal data, and to being contacted on further topics tailored to my interests.

// Back to package overview

Description:

Contact our experts

Are you interested in our Package Store, need further information, or have other questions? We will support you with your request – contact us today.

First name

Last name

Company

Position

Business email

Phone

Message

Where did you hear from us?*

I hereby consent to the Privacy Policy, to the confidential further processing of my personal data, and to being contacted on further topics tailored to my interests. I can revoke this consent at any time by sending an email to marketing@raynet.de.