Skip to content

Commit

Permalink
Merge pull request #237 from coq/nosupport
Browse files Browse the repository at this point in the history 
Remove "consortium support services" section
  • Loading branch information
@mattam82
mattam82 authored Mar 7, 2024
2 parents 3fafb1c + bcffa69 commit 75f2770
Showing 1 changed file with 0 additions and 110 deletions.
110 changes: 0 additions & 110 deletions pages/consortium.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -63,116 +63,6 @@
</div>
</div>

<div class="framework">
<div class="frameworklabel">Support services</div>
<div class="frameworkcontent">
<p>Partners can subscribe a package of support services:
<ul>
<li>Premium support for bugs. Reports will be
processed in priority by the Consortium engineers. </li>
<li>Integration of client code in regression tests.</li>
<li>Privileged access to Coq developers via a dedicated mailing list.</li>
<li>Advertisement of the partner’s involvement in the Coq community.</li>
</ul>
</p>
<p>Partners declare a number of intensive users of Coq they represent, and the Consortium recommends a corresponding level of
service (a number of engineer hours, which can be used for support or training). The cost corresponds to that specific level of service.</p>
<p><b>Academic partners are eligible to a 50% discount.</b></p>
<table>
<tr><td>Users</td><td>Engineer hours</td><td>1 year</td><td>2 years</td><td>3 years</td></tr>
<tr>
<td>
5-7
</td>
<td>
4h/user/year
</td>
<td>
€ 2000/user
</td>
<td>
€ 3600/user
</td>
<td>
€ 4800/user
</td>
</tr>
<tr>
<td>
8-12
</td>
<td>
32h/year
</td>
<td>
€ 16000
</td>
<td>
€ 28800
</td>
<td>
€ 38400
</td>
</tr>
<tr>
<td>
13-14
</td>
<td>
36h/year
</td>
<td>
€ 18000
</td>
<td>
€ 32400
</td>
<td>
€ 43200
</td>
</tr>
<tr>
<td>
15-20
</td>
<td>
40h/year
</td>
<td>
€ 20000
</td>
<td>
€ 36000
</td>
<td>
€ 48000
</td>
</tr>
<tr>
<td>
21+
</td>
<td>
50h/year
</td>
<td>
€ 25000
</td>
<td>
€ 45000
</td>
<td>
€ 60000
</td>
</tr>
</table>

<div>Note: this information is not contractual and may be subject to change.</div>

</div>
</div>


<div class="framework">
<div class="frameworklabel">Current members</div>
<div class="frameworkcontent">
Expand Down

0 comments on commit 75f2770

Please sign in to comment.