summaryrefslogtreecommitdiffstats
path: root/index.html
diff options
context:
space:
mode:
authorUwe Hermann <uwe@hermann-uwe.de>2014-01-11 15:51:13 (GMT)
committerUwe Hermann <uwe@hermann-uwe.de>2014-01-11 16:54:41 (GMT)
commit3891c47a22998431fd2d7a74bffb46370cd33e48 (patch)
tree7bede4616d90b10070a02a99ce33f6fbca001216 /index.html
parent897321906cb3aabca3606602aa1329ef87bc307c (diff)
downloadmxe-3891c47a22998431fd2d7a74bffb46370cd33e48.zip
mxe-3891c47a22998431fd2d7a74bffb46370cd33e48.tar.gz
mxe-3891c47a22998431fd2d7a74bffb46370cd33e48.tar.bz2
Add package check
Diffstat (limited to 'index.html')
-rw-r--r--index.html4
1 files changed, 4 insertions, 0 deletions
diff --git a/index.html b/index.html
index f64b173..6f02ae6 100644
--- a/index.html
+++ b/index.html
@@ -1184,6 +1184,10 @@ local-pkg-list: $(LOCAL_PKG_LIST)</pre>
<td class="website"><a href="http://www.cgal.org/">cgal</a></td>
</tr>
<tr>
+ <td class="package">check</td>
+ <td class="website"><a href="http://check.sourceforge.net/">check</a></td>
+ </tr>
+ <tr>
<td class="package">cloog</td>
<td class="website"><a href="http://www.cloog.org/">CLooG Code Generator</a></td>
</tr>